Fix bug in the new CLOCK_MONOTONIC implementation. I was treating the

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

diff --git a/doc/man-pter.but b/doc/man-pter.but
index f647223e968894dce6caba26735b2fc76f90ba9f..df7b1728e54551dcb9fe3e0271141dbfaaa8fe50 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