diff options
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])$/; |