summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-06-01 22:08:29 +0200
committerLudovic Courtès <ludo@gnu.org>2016-06-01 22:25:57 +0200
commitb2e13aa287ef366aa6374dc915520199ef5589ad (patch)
tree9c48403c08d8f477b9631915418a50b2aa825eea /doc
parentc44fb4df8a2114b482285d522033050c1c94dfba (diff)
doc: Suggest pgp.mit.edu.
* doc/guix.texi (Binary Installation): Use pgp.mit.edu instead of keys.gnupg.net, which seems to be dead.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 4222e011e5..dc61aa8537 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -375,7 +375,7 @@ If that command fails because you do not have the required public key,
then run this command to import it:
@example
-$ gpg --keyserver keys.gnupg.net --recv-keys 090B11993D9AEBB5
+$ gpg --keyserver pgp.mit.edu --recv-keys 090B11993D9AEBB5
@end example
@noindent