summaryrefslogtreecommitdiff
path: root/infrastructure/makedistribution.pl.in
diff options
context:
space:
mode:
authorChris Wilson <chris+github@qwirx.com>2009-03-28 14:04:47 +0000
committerChris Wilson <chris+github@qwirx.com>2009-03-28 14:04:47 +0000
commitb2abfe947ca6488feafae104d2aef280a900c951 (patch)
treefc7efc0f2c619587e85deaea52a084baef441eda /infrastructure/makedistribution.pl.in
parent23dedbb0a4b0c036eee78edeb6f63318d14fe511 (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-xinfrastructure/makedistribution.pl.in10
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