[DOC] Key can be retrieved using HKP keyserver

diff --git a/doc/integrity.texi b/doc/integrity.texi
index ff692ff98d322f666c953629e18de09e2cc63b4e..b9bc1a1e60910a76ae8675f65e5176ca6e5635b5 100644 (file)
--- a/doc/integrity.texi
+++ b/doc/integrity.texi
@@ -23,9 +23,10 @@ public key fingerprint.
 
 @item
 @verbatim
-% gpg --auto-key-locate pka --locate-keys releases at govpn dot info
+% gpg --keyserver hkp://keys.gnupg.net/ --recv-keys 0xF2F59045FFE2F4A1
 % gpg --auto-key-locate dane --locate-keys releases at govpn dot info
 % gpg --auto-key-locate wkd --locate-keys releases at govpn dot info
+% gpg --auto-key-locate pka --locate-keys releases at govpn dot info
 @end verbatim
 
 @item