summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2012-11-06 08:08:46 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2012-11-06 08:08:46 +0000
commitff36edffe04a73ff64fee4bc7fb163f38a252a44 (patch)
tree298f6e0cfeea0416eda0e8814b8d60ee755a3cf5 /Build/source/texk/web2c/pdftexdir/pdftex.web
parentca4ab999ac8a395f2270e01334e77362e85f3cfd (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.web2
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}
@#