message: Use new option when only build cpp documentation - useful when performing user version also
diff: @@ -48,7 +48,7 @@ jobs:
  python:
  docker:
  - - image: gudhi/ci_for_gudhi:latest
  + - image: gudhi/doxygen_for_gudhi:latest
  steps:
  - checkout
  - run:
  @@ -58,7 +58,7 @@ jobs:
  git submodule update
  mkdir build
  cd build
  - cmake -DUSER_VERSION_DIR=version ..
  + cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON -DUSER_VERSION_DIR=version ..
  make user_version
  cd version
  cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 .
  @@ -89,12 +89,12 @@ jobs:
  git submodule update
  mkdir build
  cd build
  - cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_TEST=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=OFF -DUSER_VERSION_DIR=version ..
  + cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON -DUSER_VERSION_DIR=version ..
  make user_version
  cd version
  mkdir build
  cd build
  - cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_TEST=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=OFF ..
  + cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON ..
  make doxygen 2>&1 | tee dox.log
  grep warning dox.log
  cp dox.log html/
  