diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.ch')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.ch | 23 |
1 files changed, 1 insertions, 22 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.ch b/Build/source/texk/web2c/pdftexdir/pdftex.ch index ced8f6f9c86..b5e18ce67c5 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.ch +++ b/Build/source/texk/web2c/pdftexdir/pdftex.ch @@ -31,33 +31,12 @@ % This one resolves inconsistencies between tex.ch and tex.ech. % Public domain. -@x [1] m.2 l.188 - Web2C: extensions imply we're not e-TeX -@d eTeX_banner=='This is e-TeX, Version 3.1415926',eTeX_version_string -@y -@d eTeX_banner_k=='This is e-TeXk, Version 3.1415926',eTeX_version_string -@d eTeX_banner=='This is e-TeX, Version 3.1415926',eTeX_version_string -@z - -@x [1] m.2 l.188 - Web2C: extensions imply we're not pdfeTeX -@d pdfeTeX_banner=='This is pdfeTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string -@y -@d pdfeTeX_banner_k=='This is pdfeTeXk, Version 3.1415926',pdftex_version_string,eTeX_version_string -@d pdfeTeX_banner=='This is pdfeTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string -@z - -@x [1] m.2 l.188 - Web2C: extensions imply we're not pdfTeX -@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',pdftex_version_string -@y -@d pdfTeX_banner_k=='This is pdfTeXk, Version 3.1415926',pdftex_version_string -@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',pdftex_version_string -@z - @x [1] m.2 l.188 - banner @d banner==TeX_banner @d banner_k==TeX_banner_k @y @d banner==pdfTeX_banner -@d banner_k==pdfTeX_banner_k +@d banner_k==pdfTeX_banner @z @x |