Add some index terms for host key overrides.

[PuTTY.git] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index 9fb81421d5381ead08d59be64c8b794cbec2142a..7bebe5345ac817960e175827ad6e065cf551c926 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -22,6 +22,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