diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 50f6a24dd7f..7947cad61c6 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -383,7 +383,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'stellenbosch',"&MAKEcopy", 'symbolindex', "die 'skipping, requires binary'", 't2', "&MAKEt2", - 'tabvar', "&MAKEflatten", + 'tabvar', "&MAKEunzip", 'tamethebeast',"&MAKEtamethebeast", 'tamil-omega', "die 'skipping, supports nonfree ISM fonts'", #"&MAKEflatten", 'taylor', "die 'skipping, nonfree license'", |