summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/xmltex.tlpsrc4
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