diff options
| author | Karl Berry <karl@freefriends.org> | 2006-06-17 22:31:18 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-06-17 22:31:18 +0000 |
| commit | 18dd9efec69d7fe8cd3694a9562a6d0723ff4170 (patch) | |
| tree | 0b231429bcdb21cd9a58ef44775c96143ee488ad /Build/cdbuild | |
| parent | 474dad2c52fddc85c57b3f1a1f6f2802f0d2eb62 (diff) | |
new package name velthuis, updating/replacing devanagari
git-svn-id: svn://tug.org/texlive/trunk@1691 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/cdbuild')
| -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"); |