Merge branch 'pre-0.64'

[PuTTY.git] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index a13eaf1b5635104611809defc8bebd40e30b3232..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
 
@@ -485,6 +487,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 +855,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