diff options
| author | Florian Pelz <pelzflorian@pelzflorian.de> | 2021-01-12 15:49:41 +0100 |
|---|---|---|
| committer | Florian Pelz <pelzflorian@pelzflorian.de> | 2021-01-12 16:46:25 +0000 |
| commit | 89dbcac107d931fd33eda4a83db445e8a90cc4af (patch) | |
| tree | 7bf4a1c5469bfbe02debc42f97c36b62b8b8ec07 /doc | |
| parent | bb4e67415eb6d9871ee1b50b0a01e08c19f4809a (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.texi | 5 |
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 |