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