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 9ceea5f0e45..5050a08b006 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -915,6 +915,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`);
'notes', "&MAKEnotes",
'notestex', "&MAKEflatten",
'notocjksc', "die 'skipping, 300mb is just too big'",
+ 'notomath', "&MAKEflatten",
'ntabbing', "die 'skipping, noinfo license, author email bad'",
'ntg', "die 'skipping, ntg is stale user group information'",
'numending', "die 'skipping, noinfo license'",