diff options
author | Karl Berry <karl@freefriends.org> | 2018-09-04 21:40:52 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-09-04 21:40:52 +0000 |
commit | ac8addfe3d73fbca9acd3c80c91a9a2247670fb4 (patch) | |
tree | 776e4cbfb4f3c7bbd470400958b56f0d0823d669 | |
parent | ee91c5d24b76823b569e540348b026eeb05c4c56 (diff) |
no long help if -unknownoption
git-svn-id: svn://tug.org/texlive/trunk@48581 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/install-tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index cee1bad9d3d..330e1638f6b 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -281,7 +281,7 @@ GetOptions( "verify-downloads!" => \$opt_verify_downloads, "version" => \$opt_version, "warn-checksums!" => \$opt_warn_checksums, - "help|?" => \$opt_help) or pod2usage(1); + "help|?" => \$opt_help) or pod2usage(2); if ($opt_gui eq "") { # the --gui option was given with an empty argument, set it to perltk |