diff options
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 2b496eca05c..c063efb51e6 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -436,7 +436,12 @@ sub main { ddebug("arguments: @ARGV\n") if @ARGV; if ($opts{"version"} || (defined $action && $action eq "version")) { - info(give_version()); + if ($::machinereadable) { + # give_version already is machinereadable aware + print give_version(); + } else { + info(give_version()); + } exit(0); } |