summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-05-05 17:22:28 +0000
committerKarl Berry <karl@freefriends.org>2011-05-05 17:22:28 +0000
commitdb1ddcf727ef084b7ba5404caa242cabbb4d4331 (patch)
tree289f9f407e16efb4379834edf6ad12fb5a47ab6f /Build/source/texk/web2c/pdftexdir/pdftex.web
parenta97361f6ed440dccf368ca9f9cae3c7b3df5c20c (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/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web6
1 files changed, 3 insertions, 3 deletions
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}