diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 2 |
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 2bcce0d5e90..d4c232632fe 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -307,7 +307,7 @@ known as `\eTeX'. @# @d pdftex_version==140 { \.{\\pdftexversion} } @d pdftex_revision=="18" { \.{\\pdftexrevision} } -@d pdftex_version_string=='-1.40.18' {current \pdfTeX\ version} +@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 {printed when \pdfTeX\ starts} |