diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2015-06-26 23:27:59 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2015-06-26 23:27:59 +0000 |
commit | 44221383cf875c046a39ff82c5492980a36ee920 (patch) | |
tree | 11cd7defd633801b2d3a640057cb0dd34a2b243c /Master/texmf-dist/scripts/xindy/texindy.pl | |
parent | 728bf291ef33eb6df805b027fc2e7c6ba9026adc (diff) |
xindy.pl and texindy.pl: Support paths with spaces. See http://tex.stackexchange.com/questions/252299/xindy-and-miktex-empty-raw-index-file
git-svn-id: svn://tug.org/texlive/trunk@37686 c570f23f-e606-0410-a88d-b1316a301751
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\""; +} + #====================================================================== |