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
6 files changed