Add some index terms for host key overrides.

[PuTTY.git] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index a13eaf1b5635104611809defc8bebd40e30b3232..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
 
@@ -485,6 +489,10 @@ saved sessions from
 \IM{default foreground} foreground colour, default
 \IM{default foreground} colour, foreground, default
 
+\IM{bold black} bold black
+\IM{bold black} black, bold
+\IM{bold black} bright black
+
 \IM{TERM} \cw{TERM} environment variable
 
 \IM{logical palettes} logical palettes
@@ -849,3 +857,8 @@ saved sessions from
 \IM{GSSAPI credential delegation} GSSAPI credential delegation
 \IM{GSSAPI credential delegation} credential delegation, GSSAPI
 \IM{GSSAPI credential delegation} delegation, of GSSAPI credentials
+
+\IM{SYSTEM32} \cw{SYSTEM32} directory, on Windows
+
+\IM{64-bit Windows} 64-bit Windows
+\IM{64-bit Windows} Windows, 64-bit