summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl13
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