diff options
-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 9bd9c94a0f2..360a1f80aa0 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -345,7 +345,6 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'pstricks', "&MAKEpstricks", 'pstricks-add',"&MAKEpst", 'pxfonts', "&MAKEflatten", - 'quotmark', "&MAKEflatten", 'realcalc', "die 'skipping, nosell license'", 'references', "die 'skipping, requires binary'", 'refstyle', "&MAKEcopy", |