diff options
| author | Karl Berry <karl@freefriends.org> | 2014-03-07 18:54:00 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2014-03-07 18:54:00 +0000 |
| commit | d34e6969c53038f8c2b398a63442853835706940 (patch) | |
| tree | f3b0f67dc5e1189e2d99d9efbc62fce56f1f5050 /Build/source/texk/web2c/pdftexdir/pdftex.web | |
| parent | eecffc6b5a10edf0ffa17e0927e09e04fefca4af (diff) | |
pdftex version update to 1.40.15 for TL 2014 (pdftex r703)
git-svn-id: svn://tug.org/texlive/trunk@33115 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 bfb3cc303ea..eaa7d402022 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=="14" { \.{\\pdftexrevision} } -@d pdftex_version_string=='-1.40.14' {current \pdfTeX\ version} +@d pdftex_revision=="15" { \.{\\pdftexrevision} } +@d pdftex_version_string=='-1.40.15' {current \pdfTeX\ version} @# @d pdfTeX_banner=='This is pdfTeX, Version 3.14159265',eTeX_version_string,pdftex_version_string {printed when \pdfTeX\ starts} |