summaryrefslogtreecommitdiff
path: root/Build/cdbuild/ctan2tds.pl
diff options
context:
space:
mode:
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-xBuild/cdbuild/ctan2tds.pl17
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");