doc/xmllint.xml, doc/xmllint.1 - update xmllint man page with shell


Sat Nov 17 17:16:51 MST 2001 John Fleck <jfleck@inkstain.net>

	* doc/xmllint.xml, doc/xmllint.1 - update xmllint man page with
	shell instructions from Heiko Rupp
diff --git a/ChangeLog b/ChangeLog
index 6e59ec2..debea74 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+Sat Nov 17 17:16:51 MST 2001 John Fleck <jfleck@inkstain.net>
+
+	* doc/xmllint.xml, doc/xmllint.1 - update xmllint man page with
+	shell instructions from Heiko Rupp
+
 Thu Nov 15 14:53:42 CET 2001 Daniel Veillard <daniel@veillard.com>
 
 	* catalog.c: use the URL notation file:// for default catalog paths