diff options
| author | Karl Berry <karl@freefriends.org> | 2012-11-16 00:59:01 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2012-11-16 00:59:01 +0000 |
| commit | a8d857954e889ad125cd50d1b4421e1815274a59 (patch) | |
| tree | 67d9f65053546b421311ce9f0cbf90b61ceb9b8c /Master/tlpkg/tlpsrc/xmltex.tlpsrc | |
| parent | 088feebbd9d9104cc994acc30ebb8445834d0676 (diff) | |
no exec, no xmlplay
git-svn-id: svn://tug.org/texlive/trunk@28273 c570f23f-e606-0410-a88d-b1316a301751
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 |