diff options
| -rwxr-xr-x | Master/install-tl | 2 | ||||
| -rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/install-tl b/Master/install-tl index 2b2093c2593..f7855fa8048 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -652,7 +652,7 @@ sub load_tlpdb { } else { $master="$::installerdir"; } - info("Loading $master/$TeXLive::TLConfig::InfraLocation/$TeXLive::TLConfig::DatabaseName"); + info("Loading $master/$TeXLive::TLConfig::InfraLocation/$TeXLive::TLConfig::DatabaseName\n"); $tlpdb=TeXLive::TLPDB->new(root => "$master"); if (!defined($tlpdb)) { die("Cannot load TeX Live Database from $master"); diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 17997e0345d..673440e5bb4 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -68,7 +68,7 @@ sub other_options { 'Q' => 'quit' ); - print "\nOther options:\n", hbar; + print "\nOther actions:\n"; for my $option (@options) { if (defined $opts{"$option"}) { printf " <%s> %s\n", $option, $opts{$option}; |