tree f2afe8d0650544065d973abd07d157686ee2dcf0
parent f7b094f7ee2a9a7f2f9f05c7390a199c950ec131
author MST 2001 John Fleck <jfleck@inkstain.net> 1006042686 +0000
committer John Fleck <jfleck@src.gnome.org> 1006042686 +0000

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