diff options
author | Karl Berry <karl@freefriends.org> | 2010-02-15 00:53:08 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-02-15 00:53:08 +0000 |
commit | 2a16b7bd855d23f95f42674847bfa09b8a8cfe84 (patch) | |
tree | 7b38514958f1085f95efda36320e938865649148 | |
parent | 78a6f86717e6842d93f706d6abfdab59386dceb6 (diff) |
* prefix to enable etex extensions, report from
heiko, 14 Feb 2010 02:56:28.
git-svn-id: svn://tug.org/texlive/trunk@17012 c570f23f-e606-0410-a88d-b1316a301751
-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 |