diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 5ef5c3a59d3..c380ad2783f 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -391,7 +391,6 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'verbatimcopy',"die 'skipping, no doc source'", 'vhistory', "&MAKEflatten", 'vicentino', "die 'skipping, nonfree license'", - 'vntex', "&MAKEcopy", 'voss-de', "&MAKEvossde", 'vrsion', "die 'skipping, nonfree license'", #'wadalab', "&MAKEuntar", # still problems (wadalab.map is in CJK) |