diff options
| author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-03-06 11:01:05 +0000 |
|---|---|---|
| committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-03-06 11:01:05 +0000 |
| commit | 8364ffac0217e15b0be6591b070669cf34536cfc (patch) | |
| tree | 5a75268179470f936a16484956e91a908893f830 | |
| parent | 2e38e2f6cbbb10b6c417f9022f6c1df746abafb1 (diff) | |
fix pdftex_revision. Thanks to Uwe Siart.
git-svn-id: svn://tug.org/texlive/trunk@46856 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/ChangeLog | 5 | ||||
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ChangeLog b/Build/source/texk/web2c/pdftexdir/ChangeLog index dce48934885..7b6b189e1a3 100644 --- a/Build/source/texk/web2c/pdftexdir/ChangeLog +++ b/Build/source/texk/web2c/pdftexdir/ChangeLog @@ -1,3 +1,8 @@ +2018-03-06 Akira Kakuto <kakuto@fuk.kindai.ac.jp> + + * pdftex.web: pdftex_revision=="19". + Reported by Uwe Siart, 2018-03-06. + 2018-01-25 Hironobu Yamashita <h.y.acetaminophen@gmail.com> and Karl Berry <karl@freefriends.org> 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 |