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