summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2011-05-03 10:18:08 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2011-05-03 10:18:08 +0000
commitf0a163b8aca574065cd9d4efddc7dccb8b079527 (patch)
treec7b21b526014c5ff0d23681b7f1788cb7cdcc4e9 /Build/source/texk/web2c/pdftexdir/pdftex.web
parent374d67b93e28b4e1c99cc813b8dcb1bf53a0feb8 (diff)
Remove pdfeTeX_banner, no more pdfeTeX
git-svn-id: svn://tug.org/texlive/trunk@22291 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web5
1 files changed, 1 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index cbc2845d918..4fb7430d8fc 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -299,15 +299,12 @@ known as `\eTeX'.
@d pdftex_revision=="11" { \.{\\pdftexrevision} }
@d pdftex_version_string=='-1.40.11' {current \pdfTeX\ version}
@#
-@d pdfeTeX_banner=='This is pdfeTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string
- {printed when \pdfeTeX\ starts}
-@#
@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string
{printed when \pdfTeX\ starts}
@#
@d TeX_banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts}
@#
-@d banner==pdfeTeX_banner
+@d banner==pdfTeX_banner
@#
@d TEX==ETEX {change program name into |ETEX|}
@#