summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-11-16 00:59:01 +0000
committerKarl Berry <karl@freefriends.org>2012-11-16 00:59:01 +0000
commita8d857954e889ad125cd50d1b4421e1815274a59 (patch)
tree67d9f65053546b421311ce9f0cbf90b61ceb9b8c /Master/tlpkg
parent088feebbd9d9104cc994acc30ebb8445834d0676 (diff)
no exec, no xmlplay
git-svn-id: svn://tug.org/texlive/trunk@28273 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-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