Try to make our PGP signing more useful:

[u/mdw/putty] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index bc12807..a8ce02a 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -109,6 +109,7 @@ saved sessions from
 \IM{-1} \c{-1} command-line option
 \IM{-2} \c{-2} command-line option
 \IM{-i} \c{-i} command-line option
+\IM{-pgpfp} \c{-pgpfp} command-line option
 
 \IM{removing registry entries} removing registry entries
 \IM{removing registry entries} registry entries, removing