Skip to content
Snippets Groups Projects
Commit 09767e1e authored by Wouter Deconinck's avatar Wouter Deconinck
Browse files

fix: make doxygen optional

parent 78d4c573
1 merge request!93feat: make doxygen in github
Pipeline #35855 failed
...@@ -68,8 +68,7 @@ install(FILES ...@@ -68,8 +68,7 @@ install(FILES
# ------------------------- # -------------------------
# install class documentation # install class documentation
find_package(Doxygen find_package(Doxygen COMPONENTS dot)
REQUIRED dot)
if(DOXYGEN_FOUND) if(DOXYGEN_FOUND)
configure_file( configure_file(
${CMAKE_SOURCE_DIR}/docs/Doxyfile.in ${CMAKE_SOURCE_DIR}/docs/Doxyfile.in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment