Merge branch 'pre-0.64'

[PuTTY.git] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index 9fb81421d5381ead08d59be64c8b794cbec2142a..683b8ddce99660e03a384a2892226c5e6ed223dc 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -1,5 +1,3 @@
-\define{versionidindex} \versionid $Id$
-
 \IM{Unix version} Unix version of PuTTY tools
 \IM{Unix version} Linux version of PuTTY tools
 
@@ -22,6 +20,10 @@
 \IM{host key fingerprint} host key fingerprint (SSH)
 \IM{host key fingerprint} SSH host key fingerprint
 
+\IM{manually configuring host keys} manually configuring host keys
+\IM{manually configuring host keys} overriding host keys
+\IM{manually configuring host keys} host keys, manually configuring
+
 \IM{starting a session} starting a session
 \IM{starting a session} session, starting