diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
| -rw-r--r-- | Build/source/texk/web2c/Makefile.in | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index fc0fb3d0997..3bf914b8f73 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -3774,7 +3774,9 @@ tex_prereq = texd.h $(am__append_127) 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 @@ -4267,7 +4269,9 @@ etex_ch_srcs = \ etexdir/tex.ch0 \ tex.ch \ zlib-fmt.ch \ - enctex.ch \ + enctexdir/enctex1.ch \ + enctexdir/enctex-tex.ch \ + enctexdir/enctex2.ch \ $(etex_ch_synctex) \ etexdir/tex.ch1 \ etexdir/tex.ech \ @@ -4545,7 +4549,9 @@ pdftex_ch_srcs = \ tex.ch \ tracingstacklevels.ch \ zlib-fmt.ch \ - enctex2.ch \ + enctexdir/enctex1.ch \ + enctexdir/enctex-pdftex.ch \ + enctexdir/enctex2.ch \ $(pdftex_ch_synctex) \ pdftexdir/pdftex.ch \ pdftexdir/char-warning-pdftex.ch \ |