diff options
| author | Karl Berry <karl@freefriends.org> | 2013-09-15 19:34:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-09-15 19:34:16 +0000 |
| commit | ba51c019f0b1098d506774f77a6f32d8378c7888 (patch) | |
| tree | c3ca635f838f3f94256494fd12bed5d2b1ded7ea /Master | |
| parent | c58792b048d9b6ccc220792a0a7b13c90b08fc38 (diff) | |
(action_option): allow tlmgr option repo for
short, and bump version number for critical update.
git-svn-id: svn://tug.org/texlive/trunk@31657 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 4868c05e5db..1f1b5e8dbee 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -4004,8 +4004,8 @@ sub action_option { } } } else { - if ($what eq "location") { - # rewrite location -> repository + if ($what eq "location" || $what eq "repo") { + # silently rewrite location|repo -> repository $what = "repository"; } my $found = 0; |