log

age author description
Sun, 13 Dec 2009 22:51:55 +0000 diego Do not build monolithic documentation in a separate directory.
Sun, 13 Dec 2009 22:43:37 +0000 diego - Remove now unnecessary dependency on intermediate directories.
Sun, 13 Dec 2009 22:25:08 +0000 diego Do not pointlessly set the HTMLFILE variable when running xmllint.