diff options
-rwxr-xr-x | Master/install-tl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/install-tl b/Master/install-tl index 46f01769977..1f972bcd608 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -1133,11 +1133,11 @@ operations might be disturbed.\n\n"; # all formats option if ($vars{'option_fmt'}) { - info("pre-generating all format files (fmtutil-sys --all), be patient..."); + info("pre-generating all format files (fmtutil-sys --all), be patient...\n"); #system('fmtutil-sys', '--all'); # try to capture that output log(`fmtutil-sys --all 2>&1`); - info("done\n"); + info("pre-generating all format files done.\n"); } # option_links |