diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-03-28 14:01:39 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-03-28 14:01:39 +0000 |
commit | 23dedbb0a4b0c036eee78edeb6f63318d14fe511 (patch) | |
tree | dc084b3bd89e1fa60f5a67aa6e1af299e413a325 | |
parent | 35e48b188329bf1048dfe154247b3259441de29f (diff) |
Use the Makefile in docs/ to build and clean documentation.
Don't rely on location of bb-man.xsl any more.
-rwxr-xr-x | infrastructure/makeparcels.pl.in | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index 13fb5459..e9e240db 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -110,18 +110,20 @@ else { print MAKE "\tfind release debug -type f -exec rm -f {} \\;\n"; } -print MAKE "\trm -rf docs/*.[58] docs/bb-man.xsl docs/man\n" if $product_version =~ /trunk_[0-9]+/; -print MAKE "\n"; +print MAKE <<__END_OF_FRAGMENT; + \$(MAKE) -C docs clean -print MAKE "test:\trelease/common/test\n\nrelease/common/test:\n\t./runtest.pl ALL release\n\n"; +test: release/common/test -print MAKE <<EOF if $product_version =~ /trunk_[0-9]+/; -.PHONY: docs/bb-man.xsl -docs/bb-man.xsl: - (cd docs; \$(MAKE) bb-man.xsl; if [ ! -d man ]; then mkdir man; fi) +release/common/test: + ./runtest.pl ALL release -EOF +.PHONY: docs +docs: + \$(MAKE) -C docs + +__END_OF_FRAGMENT my $release_flag = BoxPlatform::make_flag('RELEASE'); @@ -209,12 +211,12 @@ $dir/${name}.gz: docs/man/${name}.gz cp -p docs/man/${name}.gz $dir EOF - # Only build the docs if we're building from trunk. - # Releases have the docs pre-made. + # 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: docs/bb-man.xsl - (cd docs; \$(MAKE) $name) +docs/man/${name}.gz: + \$(MAKE) -C docs man/${name}.gz EOF push @parcel_deps, "$dir/${name}.gz"; |