diff options
Diffstat (limited to 'Build/source/texk/web2c/am/texmf.am')
-rw-r--r-- | Build/source/texk/web2c/am/texmf.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/am/texmf.am b/Build/source/texk/web2c/am/texmf.am index 1d2c32900d5..022c9b3fa2f 100644 --- a/Build/source/texk/web2c/am/texmf.am +++ b/Build/source/texk/web2c/am/texmf.am @@ -54,6 +54,7 @@ tex-final.ch: tie$(EXEEXT) $(tex_ch_srcs) tex_ch_srcs = \ tex.web \ tex.ch \ + enctex.ch \ $(tex_ch_synctex) \ tex-binpool.ch ## |