if [[ "$NTED_DOCS" != y ]]; then OPTS="$OPTS --without-doc" fi && default_build