Try to make our PGP signing more useful:

[u/mdw/putty] / doc / man-putt.but

diff --git a/doc/man-putt.but b/doc/man-putt.but
index d765597..1dc1ab6 100644 (file)
--- a/doc/man-putt.but
+++ b/doc/man-putt.but
@@ -149,6 +149,11 @@ keys.
 
 \dd Display a message summarizing the available options.
 
+\dt \cw{\-pgpfp}
+
+\dd Display the fingerprints of the PuTTY PGP Master Keys, to aid
+in verifying new files released by the PuTTY team.
+
 \dt \cw{\-load} \e{session}
 
 \dd Load a saved session by name. This allows you to run a saved session
@@ -210,7 +215,7 @@ pseudo-terminal at the server end.
 
 \dt \cw{\-1}, \cw{\-2}
 
-\dd Select SSH protocol v1 or v2.
+\dd Select SSH protocol version 1 or 2.
 
 \dt \cw{\-i} \e{keyfile}