diff options
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 1e5eee38e33..c4a026c18a3 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -223,7 +223,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'listings', "&MAKElistings", 'literat', "&MAKEliterat", 'lm', "&MAKEcopy", - 'lms', "die 'skipping, nonfree license', + 'lms', "die 'skipping, nonfree license'", 'lshort-bulgarian', '&MAKElshort', 'lshort-english', '&MAKElshort', 'lshort-finnish', '&MAKElshort', @@ -240,7 +240,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'makedtx', "&MAKEflatten", 'makor', "&MAKEbase", 'manjutex', "&MAKEflatten", - 'manpage', "die 'skipping, nonfree license', + 'manpage', "die 'skipping, nonfree license'", 'mathdesign', "&MAKEmathdesign", 'marginnote', "&MAKEunzip", 'mathexam', "&MAKEflatten", |