summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorFlorian Pelz <pelzflorian@pelzflorian.de>2021-01-12 15:49:41 +0100
committerFlorian Pelz <pelzflorian@pelzflorian.de>2021-01-12 16:46:25 +0000
commit89dbcac107d931fd33eda4a83db445e8a90cc4af (patch)
tree7bf4a1c5469bfbe02debc42f97c36b62b8b8ec07 /doc
parentbb4e67415eb6d9871ee1b50b0a01e08c19f4809a (diff)
doc: Remove trace of ci.guix.info.
* doc/guix.texi (Invoking guix weather): Use default substitute server in example.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 93c980c196..f38e018dff 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