if [[ $FULLDOCS == y ]]; then
   OPTS="$OPTS build-documentation=true"
else
   OPTS="$OPTS build-documentation=false"
fi &&

default_build