doc: Update substitute server.
authorLudovic Courtès <ludo@gnu.org>
Tue, 4 Dec 2018 14:26:40 +0000 (15:26 +0100)
committerLudovic Courtès <ludo@gnu.org>
Tue, 4 Dec 2018 14:28:07 +0000 (15:28 +0100)
Fixes an accidental revert in commit
0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca.

* doc/guix.texi (SUBSTITUTE-SERVER): Really change to ci.guix.info.

doc/guix.texi

index c138d43..a08a999 100644 (file)
@@ -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@*