diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r-- | Build/source/texk/web2c/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index b8b81f21303..809cdf4e272 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -1866,6 +1866,7 @@ xetex_web_srcs = \ etexdir/tex.ech \ $(xetex_ch_synctex) \ xetexdir/xetex.ch \ + xetexdir/xetex-latex3.ch \ $(xetex_post_ch_synctex) libxetex_a_CPPFLAGS = $(xetex_cppflags) |