diff options
-rwxr-xr-x | bin/make_release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/make_release b/bin/make_release index 3a15a6a4a4d..e83ba26765c 100755 --- a/bin/make_release +++ b/bin/make_release @@ -123,7 +123,7 @@ while ($#ARGV >= $[ && $ARGV[0] =~ /^-/) { if ($ARGV[0] eq '-i') { $install = 1; } elsif ($ARGV[0] eq '-g') { - $generate_man_pages = 1; + $generate_man_pages = 0; } elsif ($ARGV[0] eq '-k') { if ($ARGV[1] =~ /^[^-]+/ && ($ARGV[1] eq 'ace' || $ARGV[1] eq 'tao' || $ARGV[1] eq 'ace+tao')) { |