diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-06-01 22:08:29 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-06-01 22:25:57 +0200 |
| commit | b2e13aa287ef366aa6374dc915520199ef5589ad (patch) | |
| tree | 9c48403c08d8f477b9631915418a50b2aa825eea /doc | |
| parent | c44fb4df8a2114b482285d522033050c1c94dfba (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.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 4222e011e50..dc61aa8537a 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, | |||
| 375 | then run this command to import it: | 375 | then run this command to import it: |
| 376 | 376 | ||
| 377 | @example | 377 | @example |
| 378 | $ gpg --keyserver keys.gnupg.net --recv-keys 090B11993D9AEBB5 | 378 | $ gpg --keyserver pgp.mit.edu --recv-keys 090B11993D9AEBB5 |
| 379 | @end example | 379 | @end example |
| 380 | 380 | ||
| 381 | @noindent | 381 | @noindent |