log

age author description
Sun, 13 Dec 2009 23:59:10 +0000 diego Factorize generating the list of all main.xml files.
Sun, 13 Dec 2009 23:54:46 +0000 diego configure also generates all main.xml files.
Sun, 13 Dec 2009 23:50:38 +0000 diego Add html-chunk.xsl and html-single.xsl to targets generated by configure.
Sun, 13 Dec 2009 23:48:20 +0000 diego Avoid '&>' bashism for redirecting both stdout and stderr.
Sun, 13 Dec 2009 23:22:55 +0000 diego Simplify one more command via automatic variables.
Sun, 13 Dec 2009 23:17:11 +0000 diego Simplify setting COMMON_XSL_DEPS variable:
Sun, 13 Dec 2009 22:51:55 +0000 diego Do not build monolithic documentation in a separate directory.