Add an option to disable SSH-2 banners.

[u/mdw/putty] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index 0b869c6..a13eaf1 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -843,3 +843,9 @@ 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