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-*.
Tue, 11 May 2010 13:27:13 +0000 diego Only mark targets whose names end in "clean" as phony.
Tue, 11 May 2010 13:17:26 +0000 diego docs: Update documentation to account for recent build system changes.
Tue, 11 May 2010 13:13:32 +0000 diego Make XML documentation build process nonrecursive.
Tue, 11 May 2010 11:52:41 +0000 diego Get rid of pointless variable indirection for XSL stylesheets.