From b2abfe947ca6488feafae104d2aef280a900c951 Mon Sep 17 00:00:00 2001 From: Chris Wilson Date: Sat, 28 Mar 2009 14:04:47 +0000 Subject: 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. --- infrastructure/makedistribution.pl.in | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'infrastructure/makedistribution.pl.in') 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 -- cgit v1.2.3