summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ac
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2014-06-27 12:52:29 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2014-06-27 12:52:29 +0000
commit1233aa6068600b29717d4fc772ea7388da38cd36 (patch)
tree9bf49b7fc7d9e76f71a2135610b746dfd6cedc92 /Build/source/texk/web2c/ac
parentc6e1dbe71ce20d9265b4e1228477bdb9de3688e4 (diff)
texk/web2c: Build SyncTeX parser code as library
git-svn-id: svn://tug.org/texlive/trunk@34449 c570f23f-e606-0410-a88d-b1316a301751
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
+