diff options
| author | Karl Berry <karl@freefriends.org> | 2008-05-15 00:13:05 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-05-15 00:13:05 +0000 |
| commit | de8998fa1884f4ff1a109713ec345e82a88ac3cc (patch) | |
| tree | 1192e964b93d5580addee9e6018fd4c324a20560 | |
| parent | 42c9799a159e0dd63b56a107f429c2e2ceeb00fd (diff) | |
input pool is etex.pool not tex.pool, from akira
git-svn-id: svn://tug.org/texlive/trunk@8144 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Build/source/texk/web2c/etexdir/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/etexdir/etex.mk | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/etexdir/ChangeLog b/Build/source/texk/web2c/etexdir/ChangeLog index a3336cc9419..4d96aec8608 100644 --- a/Build/source/texk/web2c/etexdir/ChangeLog +++ b/Build/source/texk/web2c/etexdir/ChangeLog @@ -1,3 +1,7 @@ +2008-05-15 Karl Berry <karl@tug.org> + + * etex.mk (etex-pool.c): the input is etex.pool. From Akira. + 2008-05-13 Peter Breitenlohner <peb@mppmu.mpg.de> * etex-mk: Use $(makecpool) instead of ./tex-mkcpool. diff --git a/Build/source/texk/web2c/etexdir/etex.mk b/Build/source/texk/web2c/etexdir/etex.mk index 330e68756c7..99e78c12cb9 100644 --- a/Build/source/texk/web2c/etexdir/etex.mk +++ b/Build/source/texk/web2c/etexdir/etex.mk @@ -53,7 +53,7 @@ etex.ch: $(etex_ch_srcs) $(TIE) -c etex.ch $(etex_ch_srcs) etex-pool.c: etex.pool $(makecpool) tmf-pool.h - $(makecpool) tex.pool $(srcdir)/tmf-pool.h >$@ || rm -f $@ + $(makecpool) etex.pool $(srcdir)/tmf-pool.h >$@ || rm -f $@ # Tests... check: @ETEX@ etex-check |