From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Sat, 20 Sep 2014 23:06:10 +0000 (+0000)
Subject: Add some index terms for host key overrides.
X-Git-Tag: 0.64~55
X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=commitdiff_plain;h=cc66c86e7311c97db09da989c340ba3108c9e14f;p=PuTTY.git

Add some index terms for host key overrides.

[originally from svn r10232]
---

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