docs/xmllint.1, xmllint.xml, xmlcatalog.1, xmlcatalog_man.html,


Mon Dec 10 21:39:55 MST 2001 John Fleck <jfleck@inkstain.net>

	* docs/xmllint.1, xmllint.xml, xmlcatalog.1, xmlcatalog_man.html,
	xmlcatalog_man.xml
diff --git a/doc/xmllint.xml b/doc/xmllint.xml
index fbf672f..571e97d 100644
--- a/doc/xmllint.xml
+++ b/doc/xmllint.xml
@@ -23,22 +23,8 @@
       <surname>Rupp</surname>
     </author>
     <address><email>hwr@pilhuhn.de</email></address>
-    <legalnotice id="legalnotice">
-      <para>Permission is granted to copy, distribute and/or modify this document
-	under the terms of the <ulink type="help" url="gnome-help:fdl"><citetitle>GNU Free Documentation
-	    License</citetitle></ulink>, Version 1.1 or any later version 
-	published by the Free Software Foundation with no Invariant Sections, 
-	no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-	can be found <ulink type="help" url="gnome-help:fdl">here</ulink>.
-      </para>
-      <para>Many of the names used by companies to distinguish their products and
-	services are claimed as trademarks. Where those names appear in any
-	GNOME documentation, and those trademarks are made aware to the members
-	of the GNOME Documentation Project, the names have been printed in caps
-	or initial caps.
-      </para>
-    </legalnotice>
-    <releaseinfo>This is release 0.1 of the xmllint Manual.</releaseinfo>
+    
+    <releaseinfo>This is release 0.2 of the xmllint Manual.</releaseinfo>
   </refentryinfo>
 
   <refmeta>