diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-07 11:23:46 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-07 11:23:46 +0000 |
commit | 754e9c2248c33e0f7b6e859f7337789acf742a9d (patch) | |
tree | f52e05cd2b2ad3ffe725d99775c12ad670439aa7 /Build/source/configure | |
parent | df37004283539e70472b6a8309c2072813803a2c (diff) |
Build system: Fixed --disable-bibtex[8u] and --disable-(x)dvipdfmx
git-svn-id: svn://tug.org/texlive/trunk@37787 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/configure b/Build/source/configure index 7b59e6de2e3..ec9be8a0ef3 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -4917,7 +4917,7 @@ if test "${enable_bibtex8+set}" = set; then : enableval=$enable_bibtex8; fi -case enable_bibtex8 in #( +case $enable_bibtex8 in #( yes | no) : ;; #( *) : @@ -4928,7 +4928,7 @@ if test "${enable_bibtexu+set}" = set; then : enableval=$enable_bibtexu; fi -case enable_bibtexu in #( +case $enable_bibtexu in #( yes | no) : ;; #( *) : @@ -5122,7 +5122,7 @@ if test "${enable_dvipdfmx+set}" = set; then : enableval=$enable_dvipdfmx; fi -case enable_dvipdfmx in #( +case $enable_dvipdfmx in #( yes | no) : ;; #( *) : @@ -5133,7 +5133,7 @@ if test "${enable_xdvipdfmx+set}" = set; then : enableval=$enable_xdvipdfmx; fi -case enable_xdvipdfmx in #( +case $enable_xdvipdfmx in #( yes | no) : ;; #( *) : |