summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2018-03-06 11:01:05 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2018-03-06 11:01:05 +0000
commit8364ffac0217e15b0be6591b070669cf34536cfc (patch)
tree5a75268179470f936a16484956e91a908893f830 /Build/source/texk/web2c/pdftexdir/pdftex.web
parent2e38e2f6cbbb10b6c417f9022f6c1df746abafb1 (diff)
fix pdftex_revision. Thanks to Uwe Siart.
git-svn-id: svn://tug.org/texlive/trunk@46856 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index d4c232632fe..e570526488e 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -306,7 +306,7 @@ known as `\eTeX'.
{printed when \eTeX\ starts}
@#
@d pdftex_version==140 { \.{\\pdftexversion} }
-@d pdftex_revision=="18" { \.{\\pdftexrevision} }
+@d pdftex_revision=="19" { \.{\\pdftexrevision} }
@d pdftex_version_string=='-1.40.19' {current \pdfTeX\ version}
@#
@d pdfTeX_banner=='This is pdfTeX, Version 3.14159265',eTeX_version_string,pdftex_version_string