diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Master/install-tl b/Master/install-tl index 5dd4824f713..24dfcc4cbcb 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -220,17 +220,18 @@ if (defined($::opt_lang)) { $::lang = $::opt_lang; } -if ("$opt_profile" ne "") { - if (-r "$opt_profile") { - info("Using automated installation using $opt_profile!"); +if ($opt_profile) { + if (-r $opt_profile) { + info("Automated TeX Live installation using profile: $opt_profile\n"); } else { $opt_profile = ""; - info("Profile $opt_profile not readable, continuing in interactive mode!"); + info("Profile $opt_profile not readable, continuing in interactive mode.\n"); } } -if ($opt_nonadmin and win32()) { non_admin(); } - +if ($opt_nonadmin and win32()) { + non_admin(); +} # the TLPDB instances we will use. $tlpdb is for the one from the installation # media, while $localtlpdb is for the new installation |