summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure8
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) :
;; #(
*) :