tree 6cca01647b6764a762795bc65ec453439f7f0fcf
parent 8edf1c5c6c2d16fb43d3ab1d0ba9fd8c9413e725
author MDT 2003 John Fleck <jfleck@inkstain.net> 1058924633 +0000
committer John Fleck <jfleck@src.gnome.org> 1058924633 +0000

doc/xmllint.html include html version of the xmllint man page, so an


Tue Jul 22 19:42:15 MDT 2003 John Fleck <jfleck@inkstain.net>

	* doc/xmllint.html
	include html version of the xmllint man page, so an
	up-to-date version is visible on the Web