`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 521d300..0718a6d 100644 (file)
--- a/doc/blurb.but
+++ b/doc/blurb.but
@@ -1,12 +1,21 @@
 \title PuTTY User Manual
 
+\cfg{xhtml-leaf-level}{1}
+
 \cfg{xhtml-leaf-smallest-contents}{2}
 
 \cfg{xhtml-leaf-contains-contents}{true}
 
+\cfg{xhtml-head-end}{<link rel='stylesheet' href='http://www.chiark.greenend.org.uk/~sgtatham/putty/sitestyle.css' type='text/css' />}
+
+\cfg{xhtml-body-end}{Comments to <a href='mailto:putty@projects.tartarus.org'>putty@projects.tartarus.org</a>}
+
 \preamble PuTTY is a free (MIT-licensed) Win32 Telnet and SSH
 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 $