*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
3 files changed