X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/0ed48730a1c7c81cf93a49ce61541461d7df5a58..dee42491003c8fdd01bd039da46b9d6a2d171584:/doc/index.but

diff --git a/doc/index.but b/doc/index.but
index efc560dd..bc128079 100644
--- 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,12 @@ 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{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