diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index e91baaf80bd..e5680963ff1 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -722,8 +722,9 @@ $standarddocfmt='latex'; $standardins='\.ins'; %specialinsrunner = ( - 'bullcntr', 'latex', # requires interaction, ugh + 'bullcntr', 'latex', # requires interaction 'mh', 'etex', + 'polski', 'latex', # requires interaction ); $standardinsrunner="latex -interaction=nonstopmode"; @@ -1049,6 +1050,7 @@ $standardmp='\.mp$'; 'feynmp', 'feynmp.mp', 'latexmp', 'latexmp.mp', 'mpattern', 'mpattern.mp', # don't install test.mp + 'polski', 'NULL', # no sample-*.mp 'semioneside', 'NULL', # don't install figure*.mp 'textpath', 'textpath.mp', # don't install textpathfigs.mp ); |