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