summaryrefslogtreecommitdiff
path: root/Build/source/utils/texdoctk/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/texdoctk/configure')
-rwxr-xr-xBuild/source/utils/texdoctk/configure5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/utils/texdoctk/configure b/Build/source/utils/texdoctk/configure
index 8b0072c3d91..c974095f7b5 100755
--- a/Build/source/utils/texdoctk/configure
+++ b/Build/source/utils/texdoctk/configure
@@ -3530,6 +3530,7 @@ else
$as_echo "no, using $LN_S" >&6; }
fi
+
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for native WIN32 or MINGW32" >&5
$as_echo_n "checking for native WIN32 or MINGW32... " >&6; }
if ${kpse_cv_have_win32+:} false; then :
@@ -3584,7 +3585,8 @@ else
WIN32_FALSE=
fi
- if test -r $srcdir/../../texk/texlive/w32_wrapper/runscript.exe; then
+
+ if test -r "$srcdir/../../texk/texlive/w32_wrapper/runscript.exe"; then
WIN32_WRAP_TRUE=
WIN32_WRAP_FALSE='#'
else
@@ -3593,6 +3595,7 @@ else
fi
+
ac_config_files="$ac_config_files Makefile"