message: ci: Fix path where doxygen doc is generated
diff: @@ -91,7 +91,7 @@ check_cppcheck() {
  ############################################################################
  check_doxygen() {
  pushd ${TRAVIS_BUILD_DIR}/doc
  - (cd build/doxygen_doc && ! make doc 2>&1 | grep -E "warning|error") || {
  + (cd build && ! make doc 2>&1 | grep -E "warning|error") || {
  echo_red "Documentation incomplete or errors in the generation of it have occured!"
  exit 1
  }
  