From b2e13aa287ef366aa6374dc915520199ef5589ad Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 1 Jun 2016 22:08:29 +0200
Subject: 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(-)

(limited to 'doc/guix.texi')

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
-- 
cgit v1.2.3