diff options
author | Norbert Preining <preining@logic.at> | 2017-11-14 06:51:37 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2017-11-14 06:51:37 +0000 |
commit | cc70d55f269ef72dd3b570318812e77d51c677c1 (patch) | |
tree | 4c01f36b20a5719e57bcc8fc6b9a3f1a696a6e77 | |
parent | a8aab6a5879b5e2b6f0668647d1e90bdbff98cdb (diff) |
tlmgr option: allow tlpdb internal names in addition to old/tlmgr names
git-svn-id: svn://tug.org/texlive/trunk@45792 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 75fe0a2e5f2..422accead84 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -4442,7 +4442,7 @@ sub action_option { } my $found = 0; for my $opt (keys %TLPDBOptions) { - if ($what eq $TLPDBOptions{$opt}->[2]) { + if (($what eq $TLPDBOptions{$opt}->[2]) || ($what eq $opt)) { $found = 1; # the option argument matches the name my $val = shift @ARGV; |