diff options
author | Martin Schröder <martin@oneiros.de> | 2008-05-13 20:14:34 +0000 |
---|---|---|
committer | Martin Schröder <martin@oneiros.de> | 2008-05-13 20:14:34 +0000 |
commit | 00f7c0e494a99e890d20c7723c15feeddd85c73e (patch) | |
tree | e3ab623f9495dc83f9e6c4e75a117112988f6851 /Build/source/texk/web2c/pdftexdir/pdftex.web | |
parent | 0bb14294123cfedb8ff0a7515d4cc4a2ba70e2a9 (diff) |
pdftex: compile in the pool file
git-svn-id: svn://tug.org/texlive/trunk@8115 c570f23f-e606-0410-a88d-b1316a301751
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 050154437c6..2f1948a7b4e 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -289,7 +289,7 @@ known as `\eTeX'. @# @d pdftex_version==140 { \.{\\pdftexversion} } @d pdftex_revision=="8" { \.{\\pdftexrevision} } -@d pdftex_version_string=='-1.40.8-beta-20080506' {current \pdfTeX\ version} +@d pdftex_version_string=='-1.40.8-beta-20080513' {current \pdfTeX\ version} @# @d pdfeTeX_banner=='This is pdfeTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string {printed when \pdfeTeX\ starts} |