diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-18 13:33:20 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-18 13:33:20 +0000 |
| commit | 793906fc9c8212552f260f828417697e8d6988cb (patch) | |
| tree | c482f184dd4f8051fabbb93d9a5deb9eb3c5558f /Build/source/utils/configure | |
| parent | 8e31e7e6203fe17faed3ff44046dc99d9ce31779 (diff) | |
build system: cleanup xindy, remove some unused files
git-svn-id: svn://tug.org/texlive/trunk@13202 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/configure')
| -rwxr-xr-x | Build/source/utils/configure | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure index 6721948e0d8..4b11578b530 100755 --- a/Build/source/utils/configure +++ b/Build/source/utils/configure @@ -693,7 +693,7 @@ enable_t1utils enable_tpic2pdftex enable_vlna enable_xindy -enable_xindy_make_rules +enable_xindy_rules enable_xindy_docs with_xindy_recode enable_web2c @@ -1456,9 +1456,8 @@ Optional Features: --disable-tpic2pdftex do not build the tpic2pdftex package --disable-vlna do not build the vlna package --enable-xindy build the xindy package - --enable-xindy-make-rules build and install make-rules package (default is - YES) - --enable-xindy-docs build and install documentation (default is YES) + --enable-xindy-rules build and install make-rules package + --enable-xindy-docs build and install documentation --disable-web2c do not build the web2c (TeX & Co.) package --enable-auto-core cause TeX&MF to dump core, given a certain filename @@ -2341,9 +2340,9 @@ esac ## utils/xindy/ac/xindy.ac: configure.ac fragment for the TeX Live subdirectory utils/xindy/ ## configure options for xindy -# Check whether --enable-xindy-make-rules was given. -if test "${enable_xindy_make_rules+set}" = set; then - enableval=$enable_xindy_make_rules; +# Check whether --enable-xindy-rules was given. +if test "${enable_xindy_rules+set}" = set; then + enableval=$enable_xindy_rules; fi # Check whether --enable-xindy-docs was given. if test "${enable_xindy_docs+set}" = set; then |