Fix leak of 'fname' introduced by the rewrite of write_random_seed in

[sgt/putty] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index 0b869c6..beb8fcd 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -843,3 +843,14 @@ saved sessions from
 \IM{logical host name} logical host name
 \IM{logical host name} host name, logical
 \IM{logical host name} host key, caching policy
+
+\IM{web browsers} web browser
+
+\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