diff options
-rwxr-xr-x | Master/texmf-dist/scripts/xindy/xindy.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/xindy/xindy.pl b/Master/texmf-dist/scripts/xindy/xindy.pl index 1173202614e..174b8ed0d46 100755 --- a/Master/texmf-dist/scripts/xindy/xindy.pl +++ b/Master/texmf-dist/scripts/xindy/xindy.pl @@ -409,8 +409,8 @@ if ( $is_TL ) { # TeX Live, MiKTeX, or W32TeX die "$cmd: Cannot locate xindy modules directory" unless -d $modules_dir; if ( $is_w32 ) { - if ( -d "$cmd_dir/../../../bin/win32" ) { # TeX Live - $cmd_dir = "$cmd_dir/../../../bin/win32"; + if ( -d "$cmd_dir/../../../bin/windows" ) { # TeX Live + $cmd_dir = "$cmd_dir/../../../bin/windows"; } elsif ( -d "$cmd_dir/../../miktex/bin/x64/internal" ) { # MiKTeX 64-bit $cmd_dir = "$cmd_dir/../../miktex/bin/x64/internal"; } elsif ( -d "$cmd_dir/../../miktex/bin/internal" ) { # MiKTeX 32-bit |