diff options
author | Chris Wilson <chris+github@qwirx.com> | 2010-09-14 22:12:07 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2010-09-14 22:12:07 +0000 |
commit | b059d5ef03a1b68938e82097723f282d54c1c6f6 (patch) | |
tree | 416f459c4110a923d893c6a82e58cd081c1615de /infrastructure/makeparcels.pl.in | |
parent | 176450750e98fd8108af83db94681fe897adfc18 (diff) |
Fix HTML documentation installation. (merges [2737] from trunk)
Diffstat (limited to 'infrastructure/makeparcels.pl.in')
-rwxr-xr-x | infrastructure/makeparcels.pl.in | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index 3419a4ee..bd23f795 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -132,8 +132,9 @@ my @clean_deps; for my $parcel (@parcels) { - my $target = BoxPlatform::parcel_target($parcel); - my $dir = BoxPlatform::parcel_dir($parcel); + my $version = BoxPlatform::parcel_root($parcel); + my $target = BoxPlatform::parcel_target($parcel); + my $dir = BoxPlatform::parcel_dir($parcel); my @parcel_deps; unless ($target_windows) @@ -291,13 +292,18 @@ EOF ($type,$name,$dest) = @args; } - if ($type eq 'script') { # remove path from script name $name =~ s{.*/}{}; } + if ($type eq 'html') + { + $dest = "share/doc/$version"; + $name = "docs/$name.html"; + } + if ($type eq 'man') { $name =~ /([0-9])$/; |