diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r-- | Build/source/texk/web2c/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index 8b5d6b90310..369c3f0b281 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -4541,7 +4541,7 @@ pdftex_ch_srcs = \ tex.ch \ tracingstacklevels.ch \ zlib-fmt.ch \ - enctex.ch \ + enctex2.ch \ $(pdftex_ch_synctex) \ pdftexdir/pdftex.ch \ pdftexdir/char-warning-pdftex.ch \ |