diff options
author | Karl Berry <karl@freefriends.org> | 2008-08-09 13:42:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-08-09 13:42:40 +0000 |
commit | d4926c229feab358ccaf89210f07688f00ec9594 (patch) | |
tree | 11365295d7a7c227c35570ca0c754ddec08b5e78 | |
parent | 6b62e55a381ff0f434ddd5f76ee46e441bd1233a (diff) |
wording
git-svn-id: svn://tug.org/texlive/trunk@10207 c570f23f-e606-0410-a88d-b1316a301751
-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 |