|
2323ac24
|
2001-12-14T04:24:50
|
|
*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
|
|
3fc555e5
|
2001-12-11T04:41:24
|
|
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
|
|
42304046
|
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
|
|
027edfb7
|
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
|
|
fd32de62
|
2001-10-27T20:14:01
|
|
*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
|