Make it clear that you can't save a hostname into Default Settings,

[sgt/putty] / doc / blurb.but

diff --git a/doc/blurb.but b/doc/blurb.but
index 821965f..565dee2 100644 (file)
--- a/doc/blurb.but
+++ b/doc/blurb.but
@@ -1,5 +1,7 @@
 \title PuTTY User Manual
 
+\cfg{xhtml-leaf-level}{1}
+
 \cfg{xhtml-leaf-smallest-contents}{2}
 
 \cfg{xhtml-leaf-contains-contents}{true}