diff options
Diffstat (limited to 'Build/source/utils/texdoctk')
-rwxr-xr-x | Build/source/utils/texdoctk/configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/utils/texdoctk/configure b/Build/source/utils/texdoctk/configure index 6b985746975..39f40a9deec 100755 --- a/Build/source/utils/texdoctk/configure +++ b/Build/source/utils/texdoctk/configure @@ -4421,12 +4421,12 @@ case $kpse_cv_have_win64 in #( yes) : if test "x$kpse_cv_have_win32=xmingw" then : - WIN_WRAPPER=w64_mingw_wrapper + WIN_WRAPPER=windows_mingw_wrapper else $as_nop - WIN_WRAPPER=w64_wrapper + WIN_WRAPPER=windows_wrapper fi ;; #( *) : - WIN_WRAPPER=w32_wrapper ;; + WIN_WRAPPER=windows_wrapper ;; esac if test -r "$srcdir/../../texk/texlive/$WIN_WRAPPER/runscript.exe"; then |