diff options
Diffstat (limited to 'Build/source/texk/web2c/ac/web2c.ac')
| -rw-r--r-- | Build/source/texk/web2c/ac/web2c.ac | 7 |
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 + |