diff options
Diffstat (limited to 'Master/texmf-dist/tex')
-rw-r--r-- | Master/texmf-dist/tex/plain/config/etex.ini | 4 | ||||
-rw-r--r-- | Master/texmf-dist/tex/plain/config/pdfetex.ini | 2 | ||||
-rw-r--r-- | Master/texmf-dist/tex/plain/config/pdftex.ini | 6 |
3 files changed, 6 insertions, 6 deletions
diff --git a/Master/texmf-dist/tex/plain/config/etex.ini b/Master/texmf-dist/tex/plain/config/etex.ini new file mode 100644 index 00000000000..f8db7a942ef --- /dev/null +++ b/Master/texmf-dist/tex/plain/config/etex.ini @@ -0,0 +1,4 @@ +% Thomas Esser, 1998. public domain. +\input etex.src +\dump +\endinput diff --git a/Master/texmf-dist/tex/plain/config/pdfetex.ini b/Master/texmf-dist/tex/plain/config/pdfetex.ini index 56b3462bbf7..f88b7ac77b3 100644 --- a/Master/texmf-dist/tex/plain/config/pdfetex.ini +++ b/Master/texmf-dist/tex/plain/config/pdfetex.ini @@ -1,4 +1,6 @@ % Thomas Esser, 1998. public domain. +% This is used for pdftex and pdfetex, which are now identical: both +% with e-TeX extensions, both with pdf output. \input pdftexconfig.tex \input etex.src \input pdftexmagfix.tex diff --git a/Master/texmf-dist/tex/plain/config/pdftex.ini b/Master/texmf-dist/tex/plain/config/pdftex.ini deleted file mode 100644 index bd788c28aed..00000000000 --- a/Master/texmf-dist/tex/plain/config/pdftex.ini +++ /dev/null @@ -1,6 +0,0 @@ -% Thomas Esser, 1998. public domain. -\input pdftexconfig.tex -\input plain -\input pdftexmagfix.tex -\dump -\endinput |