diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-06-27 12:52:29 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-06-27 12:52:29 +0000 |
commit | 1233aa6068600b29717d4fc772ea7388da38cd36 (patch) | |
tree | 9bf49b7fc7d9e76f71a2135610b746dfd6cedc92 /Build/source/texk/web2c/ac | |
parent | c6e1dbe71ce20d9265b4e1228477bdb9de3688e4 (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.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 + |