diff options
Diffstat (limited to 'Build/source/texk/tex4htk/configure')
-rwxr-xr-x | Build/source/texk/tex4htk/configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/tex4htk/configure b/Build/source/texk/tex4htk/configure index 1fdc73a7f06..cfe90b6026b 100755 --- a/Build/source/texk/tex4htk/configure +++ b/Build/source/texk/tex4htk/configure @@ -14546,7 +14546,8 @@ else WIN32_FALSE= fi - if test -r $srcdir/../texlive/w32_wrapper/runscript.exe; then + + if test -r "$srcdir/../../texk/texlive/w32_wrapper/runscript.exe"; then WIN32_WRAP_TRUE= WIN32_WRAP_FALSE='#' else @@ -14555,6 +14556,7 @@ else fi + ac_config_files="$ac_config_files Makefile" |