diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/xmltex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltex.tlpsrc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/xmltex.tlpsrc b/Master/tlpkg/tlpsrc/xmltex.tlpsrc index 1ccbb61c08f..8ca12c794e2 100644 --- a/Master/tlpkg/tlpsrc/xmltex.tlpsrc +++ b/Master/tlpkg/tlpsrc/xmltex.tlpsrc @@ -6,9 +6,11 @@ execute AddFormat name=xmltex engine=pdftex patterns=language.dat \ options="*xmltex.ini" execute AddFormat name=pdfxmltex engine=pdftex patterns=language.dat \ options="*pdfxmltex.ini" -srcpattern +!d texmf-dist/source/xmltex/xmlplay +# runpattern d texmf-dist/tex/xmltex/base runpattern d texmf-dist/tex/xmltex/config +# binpattern f bin/${ARCH}/pdfxmltex binpattern f bin/${ARCH}/xmltex +# docpattern d texmf-dist/doc/otherformats/xmltex/base |