diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index a2950741b4c..9252b732658 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -293,11 +293,11 @@ sub main { # because stupid Debian/Ubuntu ships a stub that does nothing # which is very very bad idea # try to check for that, too - my $ret = system("perldoc -V > /dev/null 2>&1"); + my $ret = system("perldoc -V >/dev/null 2>&1"); if ($ret == 0) { - debug("Working perldoc found, using it.\n"); + debug("working perldoc found, using it\n"); } else { - tlwarn("Your perldoc seems to be non functional!\n"); + tlwarn("$prg: perldoc seems to be non-functional, not using it.\n"); @noperldoc = ("-noperldoc", "1"); } } |