diff options
author | Karl Berry <karl@freefriends.org> | 2024-03-17 01:10:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-03-17 01:10:09 +0000 |
commit | 3cddb4a66cf2107181d72936bbd411267833a5b0 (patch) | |
tree | 4f2d818da6a7749533a9eebc202aeab7364ea6cd /Master/texmf-dist/scripts | |
parent | 80dffb70777685a0dbf07434f7b46a3357f6ad11 (diff) |
(action_platform): wording, suggestion from Rolf Niepraschk,
https://tug.org/pipermail/tex-live/2024-March/050242.html
git-svn-id: svn://tug.org/texlive/trunk@70671 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 78b5f247383..446b9dee0f0 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5044,10 +5044,10 @@ sub action_platform { print " $a\n"; } } - print "Already installed platforms are marked with (i)\n"; - print "You can add new platforms with: tlmgr platform add PLAT1 PLAT2...\n"; - print "You can remove platforms with: tlmgr platform remove PLAT1 PLAT2...\n"; - print "You can set the active platform with: tlmgr platform set PLAT\n"; + print "Already installed platforms are marked with (i).\n"; + print "Add new platforms with: tlmgr platform add PLAT1 PLAT2...\n"; + print "Remove platforms with: tlmgr platform remove PLAT1 PLAT2...\n"; + print "Set the active platform with: tlmgr platform set PLAT\n"; return ($F_OK | $F_NOPOSTACTION); } elsif ($what =~ m/^add$/i) { @@ -5082,7 +5082,8 @@ sub action_platform { } } } else { - tlwarn("$prg: action platform add, cannot find package $pkg.$a\n"); + tlwarn("$prg: action platform add: package $pkg does not exist", + " for platform: $a\n"); $ret |= $F_WARNING; } } |