diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 18840a1209e..f633451632c 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -290,6 +290,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'lkort', "die 'skipping, obsolete'", 'lm', "&MAKEcopy", 'lms', "die 'skipping, nonfree license'", + 'logfilter', "die 'skipping, nosource (and java)'", 'lshort-bulgarian', '&MAKElshort', 'lshort-chinese', '&MAKElshort', 'lshort-english', '&MAKElshort', @@ -467,7 +468,9 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'revnum', "die 'skipping, obsolete'", 'revtex', "&MAKEflatten", 'rsfs', "&MAKEflatten", + 'rst', "die 'skipping, nonfree license'", 'sae', "die 'skipping, nosell'", + 'scripttex', "die 'skipping, nosell'", 'seminar', "&MAKEseminar", 'shipunov', "&MAKEcopy", 'shortlst', "die 'skipping, nosell'", |