diff options
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 10fa01371a7..44c42752cca 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -511,7 +511,7 @@ sub handle_execute_actions { } if ($opt_fmt && !$::regenerate_all_formats) { for my $f (keys %do_enable) { - info ("(re)creating format dump $f\n"); + log ("(re)creating format dump $f\n"); $errors += do_cmd_and_check("fmtutil-sys --byfmt $f"); $done_formats{$f} = 1; } @@ -526,7 +526,7 @@ sub handle_execute_actions { next if defined($done_formats{$def{'name'}}); for my $e (@upen) { if ($def{'engine'} eq $e) { - info("updating format $def{'name'} (engine $e updated)\n"); + log ("updating format $def{'name'} (engine $e updated)\n"); $errors += do_cmd_and_check("fmtutil-sys --byfmt $def{'name'}"); $done_formats{$def{'name'}} = 1; } |