diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-28 16:19:15 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-29 06:28:50 +0200 |
commit | 44b5f28a77d94609cc43d713c46f6c1bdc4e380b (patch) | |
tree | 73aaaca5fba0acc34952c064eb1efa147bfd3127 /gnu/system | |
parent | 414c4de15de50c9bbc1d7159418f52fdcc6dab13 (diff) |
doc: Remove references to hydra.gnu.org.
* doc/contributing.texi (Packaging Guidelines, Submitting Patches):
Replace hydra URL with @value{SUBSTITUTE-SERVER}.
* doc/guix.texi (Official Substitute Server): Remove ‘hydra’ @cindex.
(Substitute Server Authorization): Remove note about hydra.gnu.org.pub.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions