diff options
Diffstat (limited to 'Build/source/utils/xindy/xindy-2.5.1/user-commands/xindy.in')
-rw-r--r-- | Build/source/utils/xindy/xindy-2.5.1/user-commands/xindy.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/xindy-2.5.1/user-commands/xindy.in b/Build/source/utils/xindy/xindy-2.5.1/user-commands/xindy.in index 12b55317737..b51f220c0a6 100644 --- a/Build/source/utils/xindy/xindy-2.5.1/user-commands/xindy.in +++ b/Build/source/utils/xindy/xindy-2.5.1/user-commands/xindy.in @@ -706,6 +706,7 @@ sub filter_index ( $$ ) { my $output = tmpnam(); push (@temp_files, $output); $output=quotify($output); + $filter=quotify($filter); print "Running filter: $filter <$input >$output\n" if $verbose; system "$filter <$input >$output"; print "filtered xindy input file: $output\n" if $debug{script}; |