summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/am/pdftex.am
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/am/pdftex.am
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/am/pdftex.am')
-rw-r--r--Build/source/texk/web2c/pdftexdir/am/pdftex.am6
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/am/pdftex.am b/Build/source/texk/web2c/pdftexdir/am/pdftex.am
index 18b7a371b29..60515b29cda 100644
--- a/Build/source/texk/web2c/pdftexdir/am/pdftex.am
+++ b/Build/source/texk/web2c/pdftexdir/am/pdftex.am
@@ -65,10 +65,10 @@ pdftex_ch_srcs = \
tex.ch \
enctex.ch \
$(pdftex_ch_synctex) \
- pdftexdir/pdftex.ch
+ pdftexdir/pdftex.ch \
+ tex-binpool.ch
##
-EXTRA_DIST += $(pdftex_ch_srcs) etexdir/etex.ch \
- pdftexdir/pdftex.defines pdftexdir/pdftex.h
+EXTRA_DIST += $(pdftex_ch_srcs) pdftexdir/pdftex.defines
DISTCLEANFILES += $(nodist_pdftex_SOURCES) pdftex.ch pdftex-web2c \
pdftex.p pdftex.pool pdftex-tangle