OPTS="--disable-man-pages $OPTS" &&
default_build
