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/am/pdftex.am | |
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/am/pdftex.am')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/am/pdftex.am | 6 |
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 |