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 | |
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')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 5 | ||||
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/tex.ch0 | 2 |
3 files changed, 6 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ChangeLog b/Build/source/texk/web2c/pdftexdir/ChangeLog index be807461028..4514df76c03 100644 --- a/Build/source/texk/web2c/pdftexdir/ChangeLog +++ b/Build/source/texk/web2c/pdftexdir/ChangeLog @@ -1,3 +1,7 @@ +2011-05-03 Peter Breitenlohner <peb@mppmu.mpg.de> + + * pdftex.web, tex.ch0: Remove pdfeTeX_banner, no more pdfeTeX. + 2011-05-02 Akira Kakuto <kakuto@fuk.kindai.ac.jp> <peb@mppmu.mpg.de> * pdftex.web: Append eTeX_version_string to pdfTeX_banner. 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|} @# diff --git a/Build/source/texk/web2c/pdftexdir/tex.ch0 b/Build/source/texk/web2c/pdftexdir/tex.ch0 index bb617da60c6..7ae426ad5e6 100644 --- a/Build/source/texk/web2c/pdftexdir/tex.ch0 +++ b/Build/source/texk/web2c/pdftexdir/tex.ch0 @@ -23,7 +23,7 @@ @x [1.2] l.188 @d TeX_banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} @# -@d banner==pdfeTeX_banner +@d banner==pdfTeX_banner @y @d banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} @z |