diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 8ca99dabb80..725e253a818 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5862,9 +5862,12 @@ sub _init_tlmedia { # this "location-url" line should not be changed since GUI programs # depend on it: - print "location-url\t$location\n" if $::machinereadable; - info("$prg: package repository $location (" . - ($remotetlpdb->is_verified ? "" : "not ") . "verified)\n"); + if ($::machinereadable) { + print "location-url\t$location\n"; + } else { + info("$prg: package repository $location (" . + ($remotetlpdb->is_verified ? "" : "not ") . "verified)\n"); + } return 1; } |