diff --git a/configure b/configure index f83b078..13342ea 100755 --- a/configure +++ b/configure @@ -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