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 806acfd..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
@@ -104,6 +105,17 @@ saved sessions from
 \IM{-T-upper} \c{-T} command-line option
 \IM{-t} \c{-t} command-line option
 \IM{-C-upper} \c{-C} command-line option
+\IM{-N-upper} \c{-N} command-line option
 \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