Commit 4230404621d2d15898cac30ae069f68b261f3aec

MST 2001 John Fleck 2001-11-18T00:18:06

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