summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/pdftexdir/ChangeLog4
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web2
2 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ChangeLog b/Build/source/texk/web2c/pdftexdir/ChangeLog
index 5825254e5e2..b36fe16a784 100644
--- a/Build/source/texk/web2c/pdftexdir/ChangeLog
+++ b/Build/source/texk/web2c/pdftexdir/ChangeLog
@@ -1,3 +1,7 @@
+2013-04-22 Akira Kakuto <kakuto@fuk.kindai.ac.jp>
+
+ * pdftex.web: pdftex_revision = "14"
+
2013-04-09 Peter Breitenlohner <peb@mppmu.mpg.de>
* pdftex.web: 1.40.13 ---> 1.40.14 for TL 2013.
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index 2c4925c21bd..d3fbfc17e60 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -300,7 +300,7 @@ known as `\eTeX'.
{printed when \eTeX\ starts}
@#
@d pdftex_version==140 { \.{\\pdftexversion} }
-@d pdftex_revision=="13" { \.{\\pdftexrevision} }
+@d pdftex_revision=="14" { \.{\\pdftexrevision} }
@d pdftex_version_string=='-1.40.14' {current \pdfTeX\ version}
@#
@d pdfTeX_banner=='This is pdfTeX, Version 3.1415926',eTeX_version_string,pdftex_version_string