summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-04-15 17:00:16 +0000
committerKarl Berry <karl@freefriends.org>2012-04-15 17:00:16 +0000
commit6a955877316b6612e3bc7615f2b227190e3f1377 (patch)
tree802ee0ba1511b03250f7b9e451e405ff444bf899 /Build/source/texk/web2c/pdftexdir/pdftex.web
parent1da106367c6bef31df0f317b7babb5361ac297e5 (diff)
make pdftex version 1.40.13
git-svn-id: svn://tug.org/texlive/trunk@25974 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web4
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 95bd88d75cb..fd9b470b437 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -296,8 +296,8 @@ known as `\eTeX'.
{printed when \eTeX\ starts}
@#
@d pdftex_version==140 { \.{\\pdftexversion} }
-@d pdftex_revision=="12" { \.{\\pdftexrevision} }
-@d pdftex_version_string=='-1.40.12' {current \pdfTeX\ version}
+@d pdftex_revision=="13" { \.{\\pdftexrevision} }
+@d pdftex_version_string=='-1.40.13' {current \pdfTeX\ version}
@#
@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',eTeX_version_string,pdftex_version_string
{printed when \pdfTeX\ starts}