Mercurial > mplayer.hg
log
age | author | description |
---|---|---|
Tue, 11 May 2010 21:21:45 +0000 | diego | Do not run xmllint prior to building the XML documentation. |
Tue, 11 May 2010 14:27:26 +0000 | diego | XML docs: Make xmllint-* targets a dependency of html-chunked-*/html-single-*. |