diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-05-03 10:18:08 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-05-03 10:18:08 +0000 |
commit | f0a163b8aca574065cd9d4efddc7dccb8b079527 (patch) | |
tree | c7b21b526014c5ff0d23681b7f1788cb7cdcc4e9 /Build/source/texk/web2c/pdftexdir/pdftex.web | |
parent | 374d67b93e28b4e1c99cc813b8dcb1bf53a0feb8 (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.web | 5 |
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|} @# |