diff options
author | Karl Berry <karl@freefriends.org> | 2006-10-19 00:20:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-10-19 00:20:40 +0000 |
commit | ff920c7e23a7b1736eef9cb4ad2304a859cd0db8 (patch) | |
tree | 1255b04ece9ab75606dc8ac9a1f133fc777ba4e5 /Build/cdbuild | |
parent | 9f4480333c8170e32eabdb252ed24ecbeed077c1 (diff) |
vrsion nonfree
git-svn-id: svn://tug.org/texlive/trunk@2350 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/cdbuild')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 121f374de42..a74631f11ae 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -298,6 +298,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'vntex', "&MAKEcopy", 'voss-de', "&MAKEvossde", 'vpe', "&MAKEvpe", + 'vrsion', "print \"vrsion is nonfree, not installing\n\"", 'wasy2', "&MAKEflatten", 'xfrac', "&MAKEflatten", 'xkeyval', "&MAKEflatten", |