log

age author description
Mon, 14 Dec 2009 03:19:01 +0000 diego Ignore errors from failing rm commands in clean targets.
Mon, 14 Dec 2009 03:17:23 +0000 diego Do not ignore errors from mkdir invocations.
Mon, 14 Dec 2009 03:14:21 +0000 diego The general xmllint target should only check configured languages.
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.