Try to make our PGP signing more useful:

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

diff --git a/doc/man-ptel.but b/doc/man-ptel.but
index 4364c23..08004f2 100644 (file)
--- a/doc/man-ptel.but
+++ b/doc/man-ptel.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