diff options
Diffstat (limited to 'Build/source/utils/xindy/user-commands/xindy.in')
-rw-r--r-- | Build/source/utils/xindy/user-commands/xindy.in | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Build/source/utils/xindy/user-commands/xindy.in b/Build/source/utils/xindy/user-commands/xindy.in index 7d63cb93f0d..db629369457 100644 --- a/Build/source/utils/xindy/user-commands/xindy.in +++ b/Build/source/utils/xindy/user-commands/xindy.in @@ -376,15 +376,8 @@ our ($quiet, $verbose, %debug, $input_markup = 'latex'; $mem_file = "$lib_dir/xindy.mem"; -my @orig_argv = @ARGV; parse_options(); -if ( @ARGV == 2 ) { - if ( $ARGV[0] =~ /\.xdy$/ ) { - exec "$cmd_dir/xindy.v2", @orig_argv; - } -} - # This script creates temporary files. Whenever a file is created, its # name is added to @temp_files. In an END handler, the temporary files |