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.
Sun, 13 Dec 2009 22:23:34 +0000 diego Simplify some commands via automatic variables.
Sun, 13 Dec 2009 22:15:50 +0000 diego Create required directories directly without intermediate steps.
Sun, 13 Dec 2009 22:10:39 +0000 diego Declare common dependencies for chunked and single HTML targets together.
Sun, 13 Dec 2009 21:51:09 +0000 diego cosmetics: Remove pointless trailing /.