diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-02 15:32:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-02 15:32:30 +0200 |
| commit | 746ac457cc2748152a3a39d4296972fa20f19741 (patch) | |
| tree | 978f3bdb71cfd062df8da9be7ae0218d214626e1 /doc | |
| parent | c457f109bec75bfbf4619f3e18bcd82c33a15c07 (diff) | |
| parent | 3a3e9f2bb586e79a7931163f0191df61591b8017 (diff) | |
| download | guix-746ac457cc2748152a3a39d4296972fa20f19741.tar guix-746ac457cc2748152a3a39d4296972fa20f19741.tar.gz | |
Merge branch 'version-1.0.0'
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 fcee57d9cd..7cda06de5c 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -17,7 +17,7 @@ @set BASE-URL https://ftp.gnu.org/gnu/guix @c The official substitute server used by default. -@set SUBSTITUTE-SERVER ci.guix.info +@set SUBSTITUTE-SERVER ci.guix.gnu.org @set SUBSTITUTE-URL https://@value{SUBSTITUTE-SERVER} @copying |