`ssh-default': change the /DSSH_DEFAULT flag to a /DTELNET_DEFAULT one

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

diff --git a/doc/blurb.but b/doc/blurb.but
index 821965f..0718a6d 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}
@@ -12,5 +14,8 @@
 client. This manual documents PuTTY, and its companion utilities
 PSCP, Plink, Pageant and PuTTYgen.
 
-\copyright Copyright 2001 Simon Tatham. All rights reserved. You may
-distribute this documentation under the MIT licence.
+\copyright This manual is copyright 2001-2003 Simon Tatham. All
+rights reserved. You may distribute this documentation under the MIT
+licence. See \k{licence} for the licence text in full.
+
+\versionid $Id: blurb.but,v 1.7 2003/01/03 10:59:53 simon Exp $