summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ac
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ac')
-rw-r--r--Build/source/texk/web2c/ac/web2c.ac7
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ac/web2c.ac b/Build/source/texk/web2c/ac/web2c.ac
index b4021f02a31..886923d1044 100644
--- a/Build/source/texk/web2c/ac/web2c.ac
+++ b/Build/source/texk/web2c/ac/web2c.ac
@@ -77,3 +77,10 @@ AC_ARG_ENABLE([web-progs],
AS_HELP_STRING([--disable-web-progs],
[do not build WEB programs bibtex ... weave],
kpse_indent_26))[]dnl
+
+## configure option for the SyncTeX tool
+AC_ARG_ENABLE([synctex],
+ AS_HELP_STRING([--disable-synctex],
+ [do not build the SyncTeX tool],
+ kpse_indent_26))[]dnl
+