summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/ctan2tds
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-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 a482fae64ae..75a748242f0 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -158,6 +158,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw
'euenc', "&MAKEflatten",
'expressgx', "&MAKEexpressg",
'fancyvrb', "&MAKEfancyvrb",
+ 'faq-fr', "die 'skipping, non-free'",
'fc', "&MAKEflatten",
'featpost', "&MAKEfeatpost",
'feynmf', "&MAKEfeynmf",