diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-03-28 14:04:47 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-03-28 14:04:47 +0000 |
commit | b2abfe947ca6488feafae104d2aef280a900c951 (patch) | |
tree | fc7efc0f2c619587e85deaea52a084baef441eda /infrastructure/makedistribution.pl.in | |
parent | 23dedbb0a4b0c036eee78edeb6f63318d14fe511 (diff) |
Preserve timestamps when doing a binary copy to make a distribution, so
that the built gzipped man pages are still newer than the XML source.
Make NO-LICENSE also copy the file, to avoid redundancy in manifests.
Fix location of API docs.
Create docs/docbook directory to avoid error in making distribution.
Diffstat (limited to 'infrastructure/makedistribution.pl.in')
-rwxr-xr-x | infrastructure/makedistribution.pl.in | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/infrastructure/makedistribution.pl.in b/infrastructure/makedistribution.pl.in index 58c71fd5..3914780a 100755 --- a/infrastructure/makedistribution.pl.in +++ b/infrastructure/makedistribution.pl.in @@ -115,6 +115,13 @@ sub copy_from_list elsif($src eq 'NO-LICENSE') { $no_license{$dst} = 1; + + # actually copy it, to remove redundancy in manifests + $src = $dst; + $dst = $other; + $dst = $src if $dst eq ''; + + copy_file($src,$dst); } elsif($src eq 'RUN') { @@ -252,7 +259,8 @@ sub copy_file { # copy as binary # print "binary copy $fn to $base_name/$dst_fn\n"; - system 'cp',$fn,"$base_name/$dst_fn" + my $cmd = "cp -p $fn $base_name/$dst_fn"; + system($cmd) == 0 or die "copy failed: $cmd"; } # copy executable bit from src |