summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini')
-rw-r--r--Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini7
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini b/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini
new file mode 100644
index 00000000000..a9a433d4aac
--- /dev/null
+++ b/Master/texmf-dist/tex/xmltex/xmltexconfig/xmltex.ini
@@ -0,0 +1,7 @@
+% public domain.
+\let\primitivedump=\dump
+\let\dump=\relax
+\input latex.ini
+\let\dump=\primitivedump
+
+\input xmltex.tex