branch master updated: doc: Remove trace of ci.guix.info.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

pelzflorian pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 89dbcac  doc: Remove trace of ci.guix.info.
89dbcac is described below

commit 89dbcac107d931fd33eda4a83db445e8a90cc4af
Author: Florian Pelz <pelzflorian@pelzflorian.de>
AuthorDate: Tue Jan 12 15:49:41 2021 +0100

    doc: Remove trace of ci.guix.info.
    
    * doc/guix.texi (Invoking guix weather): Use default substitute server
    in example.
---
 doc/guix.texi | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 93c980c..f38e018 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -12917,8 +12917,9 @@ updating substitutes from '@value{SUBSTITUTE-URL}'... 
100.0%
 @end example
 
 What this example shows is that @code{kcoreaddons} and presumably the 58
-packages that depend on it have no substitutes at @code{ci.guix.info};
-likewise for @code{qgpgme} and the 46 packages that depend on it.
+packages that depend on it have no substitutes at
+@code{@value{SUBSTITUTE-SERVER}}; likewise for @code{qgpgme} and the 46
+packages that depend on it.
 
 If you are a Guix developer, or if you are taking care of this build farm,
 you'll probably want to have a closer look at these packages: they may simply