diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 84a92fe6c17..9cc3741cafb 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -239,6 +239,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'pxfonts', "&MAKEflatten", 'revtex', "&MAKEflatten", 'seminar', "&MAKEseminar", + 'showexpl', "&MAKEflatten", 'siam', "&MAKEsiam", 'skak', "&MAKEflatten", 'symbolindex', "print \"requires binary, skip\"", @@ -610,6 +611,7 @@ $standardtex='\.cfg|\.sty|\.clo|\.ldf|\.cls|\.def|\.fd$'; 'revtex', '\.sty|\.cls|\.rtx', 'rlepsf', 'rlepsf.tex', 'seminar', '\.bug|\.bg2|\.cls|\.sty|2up.tex', + 'showexpl', '\.sty|\.clo|\.ldf|\.cls|\.def|\.fd$', # not cfg 'spotcolor', 'spotcolor*.tex', 'startex', '\.tex', 'syntax', 'syntax\.tex', |