log

age author description
Mon, 14 Dec 2009 03:07:35 +0000 diego Factorize dependencies of language-specific HTML generation targets.
Mon, 14 Dec 2009 03:01:40 +0000 diego spelling cosmetics
Mon, 14 Dec 2009 02:59:39 +0000 diego Remove pointless dependency on xmllint.sh from phony xmllint target.
Mon, 14 Dec 2009 02:45:55 +0000 diego Drop pointless dependencies of the phony targets html-chunked and html-single.