OPTS="$OPTS --disable-doc" &&
default_build
