diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-11-06 08:08:46 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-11-06 08:08:46 +0000 |
commit | ff36edffe04a73ff64fee4bc7fb163f38a252a44 (patch) | |
tree | 298f6e0cfeea0416eda0e8814b8d60ee755a3cf5 /Build/source/texk/web2c/pdftexdir/pdftex.web | |
parent | ca4ab999ac8a395f2270e01334e77362e85f3cfd (diff) |
pdfTeX: Use tex-binpool.ch and remove its contents from pdftex.ch
git-svn-id: svn://tug.org/texlive/trunk@28193 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 4826b7e79bc..7656d29ca46 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -310,7 +310,7 @@ known as `\eTeX'. @# @d banner==pdfTeX_banner @# -@d TEX==ETEX {change program name into |ETEX|} +@d TEX==PDFTEX {change program name into |PDFTEX|} @# @d TeXXeT_code=0 {the \TeXXeT\ feature is optional} @# |