path: root/infrastructure/
diff options
authorChris Wilson <>2009-03-27 23:44:17 +0000
committerChris Wilson <>2009-03-27 23:44:17 +0000
commitb3147950c3459f1f68c3ab630c38172250ee226d (patch)
treeb97f0b62477b1d55e0ac14b634da71cd62cb0b4a /infrastructure/
parentc1914056918f3cf413a413fe71be9b85a3b7c4ce (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/')
1 files changed, 1 insertions, 1 deletions
diff --git a/infrastructure/ b/infrastructure/
index 6a7ea99e..13fb5459 100755
--- a/infrastructure/
+++ b/infrastructure/
@@ -211,7 +211,7 @@ $dir/${name}.gz: docs/man/${name}.gz
# 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)