--maintainer => --no-manpages

2017-03-26 10:31:14 +02:00 · 2017-03-26 10:31:14 +02:00 · 76f557cabd
parent 230c38727c
commit 76f557cabd
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -97,7 +97,7 @@ esac; done
 for arg ; do case "$arg" in
 --make-full-log) make_full_log=yes ;;
 --target=*) target="${arg#*=}" ;;
--maintainer) more_warnings=yes ;;
+--maintainer) install_manpages=; more_warnings=yes ;;
 --default-zoom=*)
 	zoom="${arg#*=}"
 	if ! [ $zoom -eq $zoom 2>/dev/null ]; then