Add index terms for GSSAPI stuff. Mention GSSAPI in "use system username"

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

diff --git a/doc/index.but b/doc/index.but
index 96541d5..a13eaf1 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -845,3 +845,7 @@ saved sessions from
 \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