summaryrefslogtreecommitdiff
path: root/Build/source/README.5configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2015-03-24 12:30:20 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2015-03-24 12:30:20 +0000
commitd612b2f9446fa4d7d81b52c357758ea272ed7c5c (patch)
treeb49129721ed8be6bc2172173501dc7a8bbc6c930 /Build/source/README.5configure
parentaaf5cccc3e93df05583e839549853fa144fb57f9 (diff)
Update doc/tlbuild.info
git-svn-id: svn://tug.org/texlive/trunk@36610 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/README.5configure')
-rw-r--r--Build/source/README.5configure5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/README.5configure b/Build/source/README.5configure
index 9c71de33334..bd6699beb16 100644
--- a/Build/source/README.5configure
+++ b/Build/source/README.5configure
@@ -13,7 +13,7 @@ at the top level gives an exhaustive list of all global options and a
few important module-specific ones, whereas, e.g.,
'texk/lcdf-typetools/configure --help'
also displays the 'lcdf-typetools' specific options, which are not shown
-by the top-level '--help'.
+at the top-level.
The help text also mentions several influential environment
variables, but for TeX Live it is better to specify them as assigments
@@ -235,6 +235,9 @@ Build the TeX engines with or without 'SyncTeX' support; ignored for a
native TeX Live build, defaults are again defined in
'texk/web2c/ac/web2c.ac'.
+'--disable-synctex'
+Do not build the 'SyncTeX' library and tool.
+
7.2.4 Configure options for 'texk/bibtex-x'
-------------------------------------------