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 efc560d..a8ce02a 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -82,6 +82,7 @@ saved sessions from
 
 \IM{pseudo-terminal allocation} pseudo-terminal allocation
 \IM{pseudo-terminal allocation} pty allocation
+\IM{pseudo-terminal allocation} allocation, of pseudo-terminal
 
 \IM{-telnet} \c{-telnet} command-line option
 \IM{-raw} \c{-raw} command-line option
@@ -108,3 +109,13 @@ 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
+
+\IM{random seed file} random seed file
+\IM{random seed file} \c{putty.rnd}
+
+\IM{suppressing remote shell} remote shell, suppressing
+\IM{suppressing remote shell} shell, remote, suppressing