Been meaning to do this for years: introduce a configuration option

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

diff --git a/doc/index.but b/doc/index.but
index 5a6d6e3..2b4cef7 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -837,3 +837,7 @@ saved sessions from
 
 \IM{PGP signatures} PGP signatures, of PuTTY binaries
 \IM{PGP signatures} signatures, of PuTTY binaries
+
+\IM{logical host name} logical host name
+\IM{logical host name} host name, logical
+\IM{logical host name} host key, caching policy