summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2013-09-15 19:34:16 +0000
committerKarl Berry <karl@freefriends.org>2013-09-15 19:34:16 +0000
commitba51c019f0b1098d506774f77a6f32d8378c7888 (patch)
treec3ca635f838f3f94256494fd12bed5d2b1ded7ea /Master
parentc58792b048d9b6ccc220792a0a7b13c90b08fc38 (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-xMaster/texmf-dist/scripts/texlive/tlmgr.pl4
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;