X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Findex.but;h=683b8ddce99660e03a384a2892226c5e6ed223dc;hb=f004bcca17a789356c32527a396b68b71a773db2;hp=9fb81421d5381ead08d59be64c8b794cbec2142a;hpb=24fef3758a758f61fab28659e1113cb766d5558e;p=PuTTY.git

diff --git a/doc/index.but b/doc/index.but
index 9fb81421..683b8ddc 100644
--- 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