| Mon, 03 May 2010 23:00:58 +0000 |
diego |
Put symlinks under revision control instead of generating them during make.
|
| Wed, 16 Dec 2009 11:59:53 +0000 |
diego |
Simplify the evaluation of the lang-def template:
|
| 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.
|
| 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.
|
| Mon, 14 Dec 2009 02:39:22 +0000 |
diego |
Factorize all components generated by configure into a variable.
|
| 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 22:51:55 +0000 |
diego |
Do not build monolithic documentation in a separate directory.
|
| Sun, 13 Dec 2009 22:43:37 +0000 |
diego |
- Remove now unnecessary dependency on intermediate directories.
|
| Sun, 13 Dec 2009 22:25:08 +0000 |
diego |
Do not pointlessly set the HTMLFILE variable when running xmllint.
|
| Sun, 13 Dec 2009 22:23:34 +0000 |
diego |
Simplify some commands via automatic variables.
|
| Sun, 13 Dec 2009 22:15:50 +0000 |
diego |
Create required directories directly without intermediate steps.
|
| Sun, 13 Dec 2009 22:10:39 +0000 |
diego |
Declare common dependencies for chunked and single HTML targets together.
|
| Sun, 13 Dec 2009 21:43:31 +0000 |
diego |
xmllint.sh is not a phony target.
|
| Mon, 05 Jan 2009 00:08:23 +0000 |
diego |
Do not run mkdir in a subshell.
|
| Mon, 05 Jan 2009 00:07:55 +0000 |
diego |
Skip pointless ignoring return value of 'rm -f'.
|
| Mon, 05 Jan 2009 00:04:34 +0000 |
diego |
nonrecursive releaseclean target
|
| Mon, 05 Jan 2009 00:01:55 +0000 |
diego |
cosmetics: Move clean targets to the bottom.
|
| Sun, 04 Jan 2009 23:50:44 +0000 |
diego |
Remove pointless language-specific clean and distclean targets.
|
| Sun, 04 Jan 2009 23:45:14 +0000 |
diego |
Subsume clean-html-chunked and clean-html-single targets into clean target.
|
