diff options
Diffstat (limited to 'Master/texmf-dist/tex/xmltex')
-rw-r--r-- | Master/texmf-dist/tex/xmltex/config/pdfxmltex.ini | 3 | ||||
-rw-r--r-- | Master/texmf-dist/tex/xmltex/config/xmltex.ini | 6 |
2 files changed, 8 insertions, 1 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 |