01/07: doc: Suggest pgp.mit.edu.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit b2e13aa287ef366aa6374dc915520199ef5589ad
Author: Ludovic Courtès <address@hidden>
Date:   Wed Jun 1 22:08:29 2016 +0200

    doc: Suggest pgp.mit.edu.
    
    * doc/guix.texi (Binary Installation): Use pgp.mit.edu instead of
    keys.gnupg.net, which seems to be dead.
---
 doc/guix.texi |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 4222e01..dc61aa8 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