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 714bde38ff3..7998986fc25 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -395,7 +395,6 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'xbase', "&MAKEnosymlinks", 'xfor', "&MAKEflatten", 'xfrac', "&MAKEflatten", - 'xgreek', "die 'skipping, no preferred source'", 'xkeyval', "&MAKExkeyval", 'xmltex', "&MAKExmltex", 'xymtex', "&MAKExymtex", |