diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 7f0d1c6710b..9f941a8d3f0 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -208,6 +208,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'manjutex', "&MAKEflatten", 'mathdesign', "&MAKEmathdesign", 'marginnote', "&MAKEunzip", + 'mathexam', "&MAKEflatten", 'mathmode', "&setup", 'mathpazo', "&MAKEmathpazo", 'metaobj', "&MAKEflatten", @@ -665,11 +666,13 @@ $standardins='\.ins'; %specialinsrunner = ( 'bullcntr', 'latex', # requires interaction, ugh + 'mathexam', 'latex -interaction=nonstopmode', # stupid infinite loop ); -$standardinsrunner="latex"; # -interaction=nonstopmode? +$standardinsrunner="latex"; %specialins_postdelete = ( 'dateiliste', 'dateiliste.README*', # already in dist + 'mathexam', 'sample.tex~', ); %specialmakeindex= ( |