diff options
Diffstat (limited to 'Build/source/texk/web2c/am')
-rw-r--r-- | Build/source/texk/web2c/am/texmf.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/am/texmf.am b/Build/source/texk/web2c/am/texmf.am index cb8dde2b4ec..d4fe9c515fa 100644 --- a/Build/source/texk/web2c/am/texmf.am +++ b/Build/source/texk/web2c/am/texmf.am @@ -64,7 +64,9 @@ tex-final.ch: tie$(EXEEXT) $(tex_ch_srcs) tex_ch_srcs = \ tex.web \ tex.ch \ - enctex.ch \ + enctexdir/enctex1.ch \ + enctexdir/enctex-tex.ch \ + enctexdir/enctex2.ch \ $(tex_ch_synctex) \ tex-binpool.ch ## |