]> asedeno.scripts.mit.edu Git - PuTTY.git/blobdiff - doc/blurb.but
Add some index terms for host key overrides.
[PuTTY.git] / doc / blurb.but
index 64adaf119d0e2925d74b1f5b4fec17cb24d13b78..e9c7b914de8cba63a0054eb04fedd03b33da2d00 100644 (file)
@@ -1,5 +1,7 @@
 \define{versionidblurb} \versionid $Id$
 
+\define{dash} \u2013{-}
+
 \title PuTTY User Manual
 
 \cfg{xhtml-leaf-level}{1}
@@ -31,6 +33,6 @@ features not described here; and the \i\cw{pterm} and command-line
 Unix-specific documentation that currently exists is the
 \I{man pages for PuTTY tools}man pages.
 
-\copyright This manual is copyright 2001-2012 Simon Tatham. All
+\copyright This manual is copyright 2001-2014 Simon Tatham. All
 rights reserved. You may distribute this documentation under the MIT
 licence. See \k{licence} for the licence text in full.