message: debug sphinx-build
diff: @@ -120,6 +120,7 @@ script:
  - cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=${CMAKE_EXAMPLE} -DWITH_GUDHI_TEST=${CMAKE_TEST} -DWITH_GUDHI_UTILITIES=${CMAKE_UTILITIES} -DWITH_GUDHI_PYTHON=${CMAKE_PYTHON} -DUSER_VERSION_DIR=version -DPython_ADDITIONAL_VERSIONS=3 ..
  - make all
  - echo ${MAKE_TARGET}
  + - which sphinx-build
  - ctest -R sphinx_py_test -V
  - cd ..
  