diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-03-27 23:44:17 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-03-27 23:44:17 +0000 |
commit | b3147950c3459f1f68c3ab630c38172250ee226d (patch) | |
tree | b97f0b62477b1d55e0ac14b634da71cd62cb0b4a /infrastructure/makeparcels.pl.in | |
parent | c1914056918f3cf413a413fe71be9b85a3b7c4ce (diff) |
Don't skip building docs if we can't find a SVN version, as it breaks
build on exported copies. It doesn't do any harm in distributions
either, as long as timestamps on the pre-built man pages are correct,
and allows users to modify the docbook source and rebuild as long as
they have xsltproc.
Diffstat (limited to 'infrastructure/makeparcels.pl.in')
-rwxr-xr-x | infrastructure/makeparcels.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index 6a7ea99e..13fb5459 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -211,7 +211,7 @@ $dir/${name}.gz: docs/man/${name}.gz EOF # Only build the docs if we're building from trunk. # Releases have the docs pre-made. - print MAKE <<EOF if $product_version =~ /trunk_[0-9]+/; + print MAKE <<EOF; .PHONY: docs/man/${name}.gz docs/man/${name}.gz: docs/bb-man.xsl (cd docs; \$(MAKE) $name) |