diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/xmltex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltex.tlpsrc | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Master/tlpkg/tlpsrc/xmltex.tlpsrc b/Master/tlpkg/tlpsrc/xmltex.tlpsrc index 6ddb1ff17c0..c8a3521d5fc 100644 --- a/Master/tlpkg/tlpsrc/xmltex.tlpsrc +++ b/Master/tlpkg/tlpsrc/xmltex.tlpsrc @@ -1,12 +1,11 @@ -name xmltex -category Package 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 -docpattern d texmf-dist/doc/xmltex/base binpattern f bin/${ARCH}/pdfxmltex binpattern f bin/${ARCH}/xmltex |