diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-04-26 21:13:46 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-04-26 21:13:46 +0000 |
commit | e097b9a6e07c1f3a613f0adab9225b9a0e0c7598 (patch) | |
tree | 52a7d0357eeda747129e1fe524fdb37efe537edf /infrastructure | |
parent | dc8a3e58dffb5c2567e196e6c5f7d1ffe08e9b66 (diff) |
Include html docs in parcels.
Don't include man pages in parcels for Windows.
Diffstat (limited to 'infrastructure')
-rwxr-xr-x | infrastructure/makeparcels.pl.in | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index cc54b23f..d0148d06 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -66,6 +66,19 @@ open PARCELS,"parcels.txt" or die "Can't open parcels file"; next; } next if (m'\AEND-ONLY'); + + if (m'\AEXCEPT:(.+)') + { + if (os_matches($1)) + { + while (<PARCELS>) + { + last if m'\AEND-EXCEPT'; + } + } + next; + } + next if (m'\AEND-EXCEPT'); # new parcel, or a new parcel definition? if(m/\A\s+(.+)\Z/) @@ -228,6 +241,24 @@ docs/man/${name}.gz: EOF push @parcel_deps, "$dir/${name}.gz"; } + elsif($type eq 'html') + { + print MAKE <<EOF; +$dir/docs/${name}.html: docs/htmlguide/man-html/${name}.html + mkdir -p $dir/docs + $copy_command docs/htmlguide/man-html/${name}.html $dir/docs + +EOF + # 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: + \$(MAKE) -C docs htmlguide/man-html/${name}.html + +EOF + push @parcel_deps, "$dir/docs/${name}.html"; + } } print MAKE <<EOF; |