Edit log output format to ensure that git ignores them

This commit is contained in:
Jip J. Dekker 2021-02-04 15:35:58 +11:00
parent 16d40592f6
commit b6e4b755f5
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3

View File

@ -22,11 +22,11 @@ add_cus_dep('acn', 'acr', 0, 'run_makeindex');
sub run_makeindex {
my $source = $$Psource;
my $dest = $$Pdest;
my $log = $dest."LOG";
my $log = $dest.".log";
my $cmd = "makeindex %O -s \"$_[0].ist\" -t \"$log\" -o \"$dest\" \"$source\"";
if ($silent) { $cmd =~ s/%O/-q/; }
else { $cmd =~ s/%O//; }
return system $cmd;
}
push @generated_exts, 'glo', 'gls', 'glsLOG', 'glg';
push @generated_exts, 'acn', 'acr', 'acrLOG', 'alg';
push @generated_exts, 'glo', 'gls', 'gls.log', 'glg';
push @generated_exts, 'acn', 'acr', 'acr.log', 'alg';