diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index c27fd68c572..9e97b620a67 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -279,9 +279,11 @@ sub main { exit 0; } - if (defined($action) && $action && !exists $actionoptions{$action}) { - die "$prg: unknown action: $action; try --help if you need it.\n"; - } + # we cannot warn now, as we do some action massaging down there + # to get this real needs some more work + # if (defined($action) && $action && !exists $actionoptions{$action}) { + # die "$prg: unknown action: $action; try --help if you need it.\n"; + # } if ((!defined($action) || !$action) && !$opts{"help"} && !$opts{"h"}) { die "$prg: missing action; try --help if you need it.\n"; |