summaryrefslogtreecommitdiff
path: root/Build/source/libs/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/configure')
-rwxr-xr-xBuild/source/libs/configure8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure
index 48804f10259..94100689d95 100755
--- a/Build/source/libs/configure
+++ b/Build/source/libs/configure
@@ -4115,7 +4115,7 @@ if test "${enable_bibtex8+set}" = set; then :
enableval=$enable_bibtex8;
fi
-case enable_bibtex8 in #(
+case $enable_bibtex8 in #(
yes | no) :
;; #(
*) :
@@ -4126,7 +4126,7 @@ if test "${enable_bibtexu+set}" = set; then :
enableval=$enable_bibtexu;
fi
-case enable_bibtexu in #(
+case $enable_bibtexu in #(
yes | no) :
;; #(
*) :
@@ -4320,7 +4320,7 @@ if test "${enable_dvipdfmx+set}" = set; then :
enableval=$enable_dvipdfmx;
fi
-case enable_dvipdfmx in #(
+case $enable_dvipdfmx in #(
yes | no) :
;; #(
*) :
@@ -4331,7 +4331,7 @@ if test "${enable_xdvipdfmx+set}" = set; then :
enableval=$enable_xdvipdfmx;
fi
-case enable_xdvipdfmx in #(
+case $enable_xdvipdfmx in #(
yes | no) :
;; #(
*) :