From ff36edffe04a73ff64fee4bc7fb163f38a252a44 Mon Sep 17 00:00:00 2001 From: Peter Breitenlohner Date: Tue, 6 Nov 2012 08:08:46 +0000 Subject: 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 --- Build/source/texk/web2c/pdftexdir/am/pdftex.am | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Build/source/texk/web2c/pdftexdir/am/pdftex.am') 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 -- cgit v1.2.3