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