diff options
| author | Chris Wilson <chris+github@qwirx.com> | 2011-09-25 18:39:42 +0000 |
|---|---|---|
| committer | Chris Wilson <chris+github@qwirx.com> | 2011-09-25 18:39:42 +0000 |
| commit | 244363073ecc3fc86b5feec4c39eb24d1a8b7077 (patch) | |
| tree | 261b77aa6d54051d537a14b5b4d6d4cfd596cd1b /infrastructure | |
| parent | 21d805a66416395a886a0bfd1d096d91c69ee848 (diff) | |
Don't regenerate zipped manpages unless needed.
Diffstat (limited to 'infrastructure')
| -rwxr-xr-x | infrastructure/makeparcels.pl.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index 58524612..8d5a0ea3 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -220,9 +220,10 @@ $dir/${name}.gz: docs/man/${name}.gz EOF # Releases have the docs pre-made, but users # may want to rebuild them for some reason. + my $docbook_source = "docs/docbook/${name}"; + $docbook_source =~ s/\.[58]$/.xml/; print MAKE <<EOF; -.PHONY: docs/man/${name}.gz -docs/man/${name}.gz: +docs/man/${name}.gz: $docbook_source docs/docbook/bb-man.xsl cd docs; \$(MAKE) man/${name}.gz EOF @@ -238,9 +239,9 @@ $dir/docs/${name}.html: docs/htmlguide/man-html/${name}.html EOF # Releases have the docs pre-made, but users # may want to rebuild them for some reason. + my $docbook_source = "docs/docbook/${name}.xml"; print MAKE <<EOF; -.PHONY: docs/htmlguide/man-html/${name}.html -docs/htmlguide/man-html/${name}.html: +docs/htmlguide/man-html/${name}.html: $docbook_source docs/docbook/bb-nochunk-book.xsl cd docs; \$(MAKE) htmlguide/man-html/${name}.html EOF |