From 89dbcac107d931fd33eda4a83db445e8a90cc4af Mon Sep 17 00:00:00 2001 From: Florian Pelz Date: Tue, 12 Jan 2021 15:49:41 +0100 Subject: 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(-) (limited to 'doc') 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 -- cgit v1.2.3