diff options
-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 36937fd12fd..a86b60dc2e7 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -126,7 +126,7 @@ sub main { "gui" => 1, "gui-lang" => "=s", "debug-translation" => 1, - "repository|repo|location" => "=s", + "location|repository|repo" => "=s", "machine-readable" => 1, "no-execute-actions" => 1, "package-logfile" => "=s", |