Fixes for re-entrant calls in the serial configuration list boxes.

[sgt/putty] / doc / man-pter.but

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