Changeset 3000

Timestamp:

25/09/2011 19:39:42 (8 months ago)

Author:

chris

Message:

Don't regenerate zipped manpages unless needed.

File:

• box/trunk/infrastructure/makeparcels.pl.in (modified) (2 diffs)

box/trunk/infrastructure/makeparcels.pl.in

@@ -221 +221 @@
                         # Releases have the docs pre-made, but users
                         # may want to rebuild them for some reason.
-                        print MAKE <<EOF;
-.PHONY: docs/man/${name}.gz
-docs/man/${name}.gz:
+                        my $docbook_source = "docs/docbook/${name}";
+                        $docbook_source =~ s/\.[58]$/.xml/;
+                        print MAKE <<EOF;
+docs/man/${name}.gz: $docbook_source docs/docbook/bb-man.xsl
         cd docs; \$(MAKE) man/${name}.gz
 
@@ -239 +240 @@
                         # Releases have the docs pre-made, but users
                         # may want to rebuild them for some reason.
-                        print MAKE <<EOF;
-.PHONY: docs/htmlguide/man-html/${name}.html
-docs/htmlguide/man-html/${name}.html:
+                        my $docbook_source = "docs/docbook/${name}.xml";
+                        print MAKE <<EOF;
+docs/htmlguide/man-html/${name}.html: $docbook_source docs/docbook/bb-nochunk-book.xsl
         cd docs; \$(MAKE) htmlguide/man-html/${name}.html