![](https://secure.gravatar.com/avatar/5ee5918d6ee3618ec173b170fee3668a.jpg?s=120&d=mm&r=g)
25 Mar
2018
25 Mar
'18
2:55 p.m.
Hi! In current pdftex.web file in stable branch is following code: http://tug.org/svn/pdftex/branches/stable/source/src/texk/web2c/pdftexdir/pd... @d pdftex_version==140 { \.{\\pdftexversion} } @d pdftex_revision=="18" { \.{\\pdftexrevision} } @d pdftex_version_string=='-1.40.19' {current \pdfTeX\ version} Therefore banner is set to version 1.40.19, but \pdftexrevision just to version 18. This looks like an error. -- Pali Rohár pali.rohar@gmail.com