CMAKE_EXTRA_OPTIONS+=" -DBUILD_DOC=OFF"
elif [[ $k == "otmorris" ]]; then
case $LINUX_DISTRIBUTION in
- DB*|FD*)
+ DB*|FD*|UB*)
echo "WARNING: switching OFF documentation build"
CMAKE_EXTRA_OPTIONS+=" -DBUILD_DOC=OFF"
CMAKE_EXTRA_OPTIONS+=" -DUSE_SPHINX=OFF" # missing package to be installed.
esac
elif [[ $k == "otrobopt" ]]; then
case $LINUX_DISTRIBUTION in
- DB*|FD*)
+ DB*|FD*|UB*)
echo "WARNING: switching OFF documentation build"
CMAKE_EXTRA_OPTIONS+=" -DBUILD_DOC=OFF"
CMAKE_EXTRA_OPTIONS+=" -DUSE_SPHINX=OFF" # missing package to be installed.
esac
elif [[ $k == "otsvm" ]]; then
case $LINUX_DISTRIBUTION in
- DB*|FD*)
+ DB*|FD*|UB*)
echo "WARNING: switching OFF documentation build"
CMAKE_EXTRA_OPTIONS+=" -DBUILD_DOC=OFF"
CMAKE_EXTRA_OPTIONS+=" -DUSE_SPHINX=OFF" # missing package to be installed.