diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index a3efa19d347..23347acfb66 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -255,7 +255,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'txfonts', "&MAKEflatten", 'ucs', "&MAKEucs", 'ukrhyph', "&MAKEukrhyph", - 'velthuis', "&MAKEflatten", + 'velthuis', "&MAKEcopy", 'vhistory', "&MAKEflatten", 'vntex', "&MAKEcopy", 'voss-de', "&MAKEvossde", @@ -946,15 +946,22 @@ sub xchdir sub MAKEcopy { my $dest = $_[0] || $DEST; - chdir($packagedir) || die "chdir($packagedir) failed: $!"; - &SYSTEM("mkdir -p $dest"); + chdir ($packagedir) || die "chdir($packagedir) failed: $!"; + &SYSTEM ("mkdir -p $dest"); # do the copy. - &SYSTEM("$CP -r * $dest"); + &SYSTEM ("$CP -r * $dest"); # remove symlinks, needed for arev. - &SYSTEM("find $dest -type l | xargs --no-run-if-empty rm"); + &SYSTEM ("find $dest -type l | xargs --no-run-if-empty rm"); + # remove bin dir (with warning), needed for velthuis. + if (-d "$dest/bin") { + warn "WARNING: removing bin/ dir in $dest\n"; + warn " -- YOU must deal with it!\n"; + &SYSTEM ("rm -rf $dest/bin"); + } + # remove top-level README (shouldn't overwrite texmf-dist/README), # needed for vntex, pgf, probably others. -f "$dest/README" && unlink ("$dest/README"); |