1
0
mirror of https://gitlab.gnome.org/GNOME/libxml2.git synced 2024-10-28 06:25:09 +03:00
Commit Graph

5 Commits

Author SHA1 Message Date
MST 2001 John Fleck
2323ac2460 *doc/xmllint.xml, xmllint.1 - document --dropdtd
Thu Dec 13 21:24:16 MST 2001 John Fleck <jfleck@inkstain.net>

	*doc/xmllint.xml, xmllint.1 - document --dropdtd
2001-12-14 04:24:50 +00:00
MST 2001 John Fleck
3fc555e520 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
2001-12-11 04:41:24 +00:00
MST 2001 John Fleck
4230404621 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
2001-11-18 00:18:06 +00:00
John Fleck
027edfb741 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
2001-11-04 20:13:58 +00:00
MDT 2001 John Fleck
fd32de6207 *doc/xmllint.xml, doc/xmllint.1 New and improved man page for xmllint -
Sat Oct 27 14:04:45 MDT 2001 John Fleck <jfleck@inkstain.net>

	*doc/xmllint.xml, doc/xmllint.1
	New and improved man page for xmllint - .xml is the original, .1
	is the generated man page
2001-10-27 20:14:01 +00:00