diff options
-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 |