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 5998d849af2..18f357bdeac 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -1076,6 +1076,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`);
'presentations-en', "die 'skipping, author request'",
'preview-latex', "die 'skipping, use preview'",
'profcollege', "&MAKEflatten",
+ 'proflabo', "&MAKEflatten",
'proflycee', "&MAKEflatten",
'progkeys', "die 'skipping, noinfo license, author unfindable'",
'proofs', "die 'skipping, nosell license'",