summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-12-04 15:26:40 +0100
committerLudovic Courtès <ludo@gnu.org>2018-12-04 15:28:07 +0100
commit606b1a1e6b45cd019159716802d5a6bc1ec10e35 (patch)
treecd5a9fe645ce8c8eb9976a6ea0f3276600fa5b6f /doc
parentf5a15a86b0ff1c358bfca1e89eabc18d2d5e7818 (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.texi2
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@*