diff options
-rw-r--r-- | Master/texmf-dist/tex/xmltex/config/pdfxmltex.ini | 3 | ||||
-rw-r--r-- | Master/texmf-dist/tex/xmltex/config/xmltex.ini | 6 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltex.tlpsrc | 4 |
3 files changed, 10 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/xmltex/config/pdfxmltex.ini b/Master/texmf-dist/tex/xmltex/config/pdfxmltex.ini index aeff5a5b4f5..526a2d08161 100644 --- a/Master/texmf-dist/tex/xmltex/config/pdfxmltex.ini +++ b/Master/texmf-dist/tex/xmltex/config/pdfxmltex.ini @@ -1,2 +1,3 @@ +% public domain. \input pdftexconfig.tex -\input xmltex.tex +\input xmltex.ini diff --git a/Master/texmf-dist/tex/xmltex/config/xmltex.ini b/Master/texmf-dist/tex/xmltex/config/xmltex.ini index c4ac5094229..a9a433d4aac 100644 --- a/Master/texmf-dist/tex/xmltex/config/xmltex.ini +++ b/Master/texmf-dist/tex/xmltex/config/xmltex.ini @@ -1 +1,7 @@ +% public domain. +\let\primitivedump=\dump +\let\dump=\relax +\input latex.ini +\let\dump=\primitivedump + \input xmltex.tex diff --git a/Master/tlpkg/tlpsrc/xmltex.tlpsrc b/Master/tlpkg/tlpsrc/xmltex.tlpsrc index 2d30af90c9f..2ec7c6e2e40 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="&latex xmltex.ini" + options="xmltex.ini" execute AddFormat name=pdfxmltex engine=pdftex patterns=language.dat \ - options="&pdflatex 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 |