summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/ctan2tds1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds
index 9bddfe5fe2f..6332732d6c3 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -178,6 +178,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw
'featpost', "&MAKEfeatpost",
'feynmf', "&MAKEfeynmf",
'floatflt', "die 'skipping, nosell license'",
+ 'foiltex', "die 'skipping, non-free (nosell)'",
'flowfram', "&MAKEflatten",
'fontinst', "&MAKEfontinst",
'footnpag', "&MAKEfootnpag",