diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltex.tlpsrc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Master/tlpkg/tlpsrc/xmltex.tlpsrc b/Master/tlpkg/tlpsrc/xmltex.tlpsrc index 095645da319..64619600d11 100644 --- a/Master/tlpkg/tlpsrc/xmltex.tlpsrc +++ b/Master/tlpkg/tlpsrc/xmltex.tlpsrc @@ -1,9 +1,7 @@ depend pdftex depend tex -execute AddFormat name=xmltex engine=pdftex patterns=language.dat \ - options="&latex xmltex.ini" -execute AddFormat name=pdfxmltex engine=pdftex patterns=language.dat \ - options="&pdflatex pdfxmltex.ini" +execute AddFormat name=xmltex engine=pdftex patterns=language.dat options="&latex xmltex.ini" +execute AddFormat name=pdfxmltex engine=pdftex patterns=language.dat options="&pdflatex pdfxmltex.ini" srcpattern +!d texmf-dist/source/xmltex/xmlplay runpattern d texmf-dist/tex/xmltex/base runpattern d texmf-dist/tex/xmltex/config |