diff options
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ChangeLog b/Build/source/texk/web2c/pdftexdir/ChangeLog index 525f323aea4..be807461028 100644 --- a/Build/source/texk/web2c/pdftexdir/ChangeLog +++ b/Build/source/texk/web2c/pdftexdir/ChangeLog @@ -1,3 +1,7 @@ +2011-05-02 Akira Kakuto <kakuto@fuk.kindai.ac.jp> <peb@mppmu.mpg.de> + + * pdftex.web: Append eTeX_version_string to pdfTeX_banner. + 2011-05-02 Peter Breitenlohner <peb@mppmu.mpg.de> Avoid "deprecated conversion from string constant to 'char*'" diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index b2acce12160..cbc2845d918 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -302,7 +302,7 @@ known as `\eTeX'. @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 +@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} |