diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 15:26:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 15:28:07 +0100 |
| commit | 606b1a1e6b45cd019159716802d5a6bc1ec10e35 (patch) | |
| tree | cd5a9fe645ce8c8eb9976a6ea0f3276600fa5b6f /doc | |
| parent | f5a15a86b0ff1c358bfca1e89eabc18d2d5e7818 (diff) | |
doc: Update substitute server.
Fixes an accidental revert in commit
0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca.
* doc/guix.texi (SUBSTITUTE-SERVER): Really change to ci.guix.info.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c138d43242..a08a999ca0 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -14,7 +14,7 @@ @set KEY-SERVER pool.sks-keyservers.net @c The official substitute server used by default. -@set SUBSTITUTE-SERVER mirror.hydra.gnu.org +@set SUBSTITUTE-SERVER ci.guix.info @copying Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès@* |