diff options
author | Karl Berry <karl@freefriends.org> | 2017-03-18 22:40:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-03-18 22:40:20 +0000 |
commit | d46c4d248edfe88df580641ca8b1cb3aa1acf96b (patch) | |
tree | ad70173dcb262d0d58864a7880a3f0f090f6caba /Build/source/texk/web2c/pdftexdir/pdftex.web | |
parent | f3c976953227b30e6ae7e8347f3ae990b455e4b7 (diff) |
pdftex version now 1.40.18 in preparation for TL17
git-svn-id: svn://tug.org/texlive/trunk@43540 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 74e7c4ee675..a00d8d408ac 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -306,8 +306,8 @@ known as `\eTeX'. {printed when \eTeX\ starts} @# @d pdftex_version==140 { \.{\\pdftexversion} } -@d pdftex_revision=="17" { \.{\\pdftexrevision} } -@d pdftex_version_string=='-1.40.17' {current \pdfTeX\ version} +@d pdftex_revision=="18" { \.{\\pdftexrevision} } +@d pdftex_version_string=='-1.40.18' {current \pdfTeX\ version} @# @d pdfTeX_banner=='This is pdfTeX, Version 3.14159265',eTeX_version_string,pdftex_version_string {printed when \pdfTeX\ starts} |