diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 6 |
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} |