summaryrefslogtreecommitdiff
path: root/Master/tlpkg/libexec/ctan2tds
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 89b1af24218..f856bb41147 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -1069,6 +1069,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`);
'presentations-en', "die 'skipping, author request'",
'preview-latex', "die 'skipping, use preview'",
'profcollege', "&MAKEflatten",
+ 'proflycee', "&MAKEflatten",
'progkeys', "die 'skipping, noinfo license, author unfindable'",
'proofs', "die 'skipping, nosell license'",
'ps2eps', "die 'skipping, must go into sources'",