diff options
-rwxr-xr-x | installman | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/installman b/installman index 16278aac41..4f9d469f6b 100755 --- a/installman +++ b/installman @@ -36,9 +36,12 @@ my $usage = --verbose (or -V) report all progress. --silent (or -S) be silent. Only report errors.\n"; +# --strip intentionally does nothing. By permitting installman to accept it +# without error, the Makefile can pass the same options to installperl and +# installman, which permits more simplification there than this comment costs. GetOptions( \%opts, qw( man1dir=s man1ext=s man3dir=s man3ext=s - destdir:s notify|n help|h|? silent|S verbose|V)) + destdir:s notify|n help|h|? silent|S verbose|V strip)) || die $usage; die $usage if $opts{help}; $opts{destdir} //= ''; |