Ignore:
Timestamp:
28/03/2009 14:04:47 (3 years ago)
Author:
chris
Message:

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.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • box/trunk/infrastructure/makedistribution.pl.in

    r2470 r2476  
    116116                { 
    117117                        $no_license{$dst} = 1; 
     118 
     119                        # actually copy it, to remove redundancy in manifests 
     120                        $src = $dst; 
     121                        $dst = $other; 
     122                        $dst = $src if $dst eq ''; 
     123 
     124                        copy_file($src,$dst); 
    118125                } 
    119126                elsif($src eq 'RUN') 
     
    253260                # copy as binary 
    254261                # print "binary copy $fn to $base_name/$dst_fn\n"; 
    255                 system 'cp',$fn,"$base_name/$dst_fn" 
     262                my $cmd = "cp -p $fn $base_name/$dst_fn"; 
     263                system($cmd) == 0 or die "copy failed: $cmd"; 
    256264        } 
    257265         
Note: See TracChangeset for help on using the changeset viewer.