add XXX-REMOVE-BEFORE-RELEASE re uninstaller

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

diff --git a/doc/licence.but b/doc/licence.but
index d2d4470..91d703c 100644 (file)
--- a/doc/licence.but
+++ b/doc/licence.but
@@ -1,8 +1,8 @@
 \define{versionidlicence} \versionid $Id$
 
 \define{versionidlicence} \versionid $Id$
 

-\A{licence} PuTTY Licence
+\A{licence} PuTTY \ii{Licence}

 
 

-PuTTY is copyright 1997-2005 Simon Tatham.
+PuTTY is \i{copyright} 1997-2005 Simon Tatham.

 
 Portions copyright Robert de Bath, Joris van Rantwijk, Delian
 Delchev, Andreas Schultz, Jeroen Massar, Wez Furlong, Nicolas Barry,
 
 Portions copyright Robert de Bath, Joris van Rantwijk, Delian
 Delchev, Andreas Schultz, Jeroen Massar, Wez Furlong, Nicolas Barry,