diff options
author | Karl Berry <karl@freefriends.org> | 2011-05-05 17:22:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-05-05 17:22:28 +0000 |
commit | db1ddcf727ef084b7ba5404caa242cabbb4d4331 (patch) | |
tree | 289f9f407e16efb4379834edf6ad12fb5a47ab6f /Build/source/texk | |
parent | a97361f6ed440dccf368ca9f9cae3c7b3df5c20c (diff) |
show etex version before pdftex version; bump pdftex version to 12
git-svn-id: svn://tug.org/texlive/trunk@22316 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/ChangeLog | 6 | ||||
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ChangeLog b/Build/source/texk/web2c/pdftexdir/ChangeLog index 4514df76c03..0808c3158df 100644 --- a/Build/source/texk/web2c/pdftexdir/ChangeLog +++ b/Build/source/texk/web2c/pdftexdir/ChangeLog @@ -1,3 +1,9 @@ +2011-05-05 Karl Berry <karl@tug.org> + + * pdftex.web (pdfTeX_banner): etex version before pdftex version. + (pdftex_revision, pdftex_version_string): bump to 12. + (These changes approved by Thanh.) + 2011-05-03 Peter Breitenlohner <peb@mppmu.mpg.de> * pdftex.web, tex.ch0: Remove pdfeTeX_banner, no more pdfeTeX. diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 4fb7430d8fc..f08f4ffbe7e 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -296,10 +296,10 @@ known as `\eTeX'. {printed when \eTeX\ starts} @# @d pdftex_version==140 { \.{\\pdftexversion} } -@d pdftex_revision=="11" { \.{\\pdftexrevision} } -@d pdftex_version_string=='-1.40.11' {current \pdfTeX\ version} +@d pdftex_revision=="12" { \.{\\pdftexrevision} } +@d pdftex_version_string=='-1.40.12' {current \pdfTeX\ version} @# -@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string +@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',eTeX_version_string,pdftex_version_string {printed when \pdfTeX\ starts} @# @d TeX_banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} |