summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in
index feb9887b713..599defa2cce 100644
--- a/Build/source/texk/web2c/Makefile.in
+++ b/Build/source/texk/web2c/Makefile.in
@@ -581,7 +581,7 @@ kpse_include pdftexdir/pdftexlib.mk
kpse_include luatexdir/luatexlib.mk
#
# Makefile fragments:
-kpse_include synctex/synctex.mk
+kpse_include synctexdir/synctex.mk
kpse_include etexdir/etex.mk
kpse_include omegadir/omega.mk
kpse_include alephdir/aleph.mk