diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf-dist/scripts/xindy/texindy.pl | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Master/texmf-dist/scripts/xindy/texindy.pl b/Master/texmf-dist/scripts/xindy/texindy.pl index 06c57fd31c2..5cfba08d699 100755 --- a/Master/texmf-dist/scripts/xindy/texindy.pl +++ b/Master/texmf-dist/scripts/xindy/texindy.pl @@ -525,7 +525,6 @@ 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"; @@ -644,12 +643,6 @@ sub output_xindy_release () { print "xindy release: $version\n"; } -sub quotify ( $ ) { - my $s = shift; - $s =~ s:([\\\"]):\\$1:g ; - return "\"$s\""; -} - #====================================================================== |