diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
| -rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 701ffe932d1..448ab98d8d1 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -352,6 +352,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'sae', "die 'skipping, nosell license'", 'semaphor', "&MAKEflatten", 'seminar', "&MAKEseminar", + 'shipunov', "&MAKEcopy", 'showexpl', "&MAKEflatten", 'siam', "&MAKEsiam", 'skak', "&MAKEflatten", |