These days, you _can_ save a host name in Default Settings.

[PuTTY.git] / doc / man-pter.but

diff --git a/doc/man-pter.but b/doc/man-pter.but
index f647223e968894dce6caba26735b2fc76f90ba9f..12da5921d4dde970bd8ee2329b18f92b71b94098 100644 (file)
--- a/doc/man-pter.but
+++ b/doc/man-pter.but
@@ -205,6 +205,11 @@ example:
 
 \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.
+
 \S{pterm-manpage-x-resources} X RESOURCES
 
 \cw{pterm} can be more completely configured by means of X