log

age author description
Mon, 14 Dec 2009 00:57:33 +0000 diego Use variable for HTML stylesheet so individual languages can use their own.
Mon, 14 Dec 2009 00:42:46 +0000 diego Factorize stylesheet installation into its own target.
Mon, 14 Dec 2009 00:16:32 +0000 diego Construct monolithic targets with the HTMLDIR instead of the HTMLFILE variable.
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.