Update for `win-randseed-location' fix.
[u/mdw/putty] / doc / man-pter.but
index f647223..df7b172 100644 (file)
@@ -40,7 +40,7 @@ option has a double minus sign, even though none of the others do.
 This is because this option is supplied automatically by GTK.
 Sorry.)
 
-\dt \cw{\-name} \e{font-name}
+\dt \cw{\-name} \e{name}
 
 \dd Specify the name under which \cw{pterm} looks up X resources.
 Normally it will look them up as (for example) \cw{pterm.Font}. If
@@ -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