diff options
Diffstat (limited to 'Master/texmf-dist/scripts/xindy/texindy.pl')
-rwxr-xr-x | Master/texmf-dist/scripts/xindy/texindy.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/xindy/texindy.pl b/Master/texmf-dist/scripts/xindy/texindy.pl index 5cfba08d699..06c57fd31c2 100755 --- a/Master/texmf-dist/scripts/xindy/texindy.pl +++ b/Master/texmf-dist/scripts/xindy/texindy.pl @@ -525,6 +525,7 @@ exec_xindy(@opt, @ARGV); sub exec_xindy { if ( $is_w32 ) { + $xindy = quotify($xindy); system ($EXECUTABLE_NAME, $xindy, @_); if ($? == -1) { die "$cmd: could not execute xindy: $ERRNO\n"; @@ -643,6 +644,12 @@ sub output_xindy_release () { print "xindy release: $version\n"; } +sub quotify ( $ ) { + my $s = shift; + $s =~ s:([\\\"]):\\$1:g ; + return "\"$s\""; +} + #====================================================================== |