log

age author description
Tue, 11 May 2010 21:25:12 +0000 diego Merge both XML documentation README files into one.
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-*.