summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf-dist/scripts/xindy/texindy.pl7
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\"";
-}
-
#======================================================================