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