log

age author description
Mon, 14 Dec 2009 03:09:09 +0000 diego Improve declaration of phony targets.
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.
Mon, 14 Dec 2009 02:42:59 +0000 diego Fix dependencies of html-chunked and html-single targets.
Mon, 14 Dec 2009 02:40:55 +0000 diego Exploit one more opportunity to make use of the CONFIGURE_GENERATED variable.