diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-03-24 12:30:20 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-03-24 12:30:20 +0000 |
commit | d612b2f9446fa4d7d81b52c357758ea272ed7c5c (patch) | |
tree | b49129721ed8be6bc2172173501dc7a8bbc6c930 /Build/source/README.5configure | |
parent | aaf5cccc3e93df05583e839549853fa144fb57f9 (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.5configure | 5 |
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' ------------------------------------------- |