Commit 027edfb741b835ae4b93564e8b980ab980703995

John Fleck 2001-11-04T20:13:58

Sun Nov 4 13:11:41 MST 2001 John Fleck <jfleck@inkstain.net Sun Nov 4 13:11:41 MST 2001 John Fleck <jfleck@inkstain.net * doc/xmllint.xml, xmllint.1 - updating xmllint man page to document --sgml option, fixing gnome bugzilla #63382