[doc] downgrade needed doxygen, dot optional.

STORM-IRIT · Oct 9, 2024 · 1ca7a77 · 1ca7a77
1 parent 0223f6d
commit 1ca7a77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
@@ -11,7 +11,7 @@ include(${CMAKE_CURRENT_SOURCE_DIR}/../cmake/cmake-message-helpers/MessageHelper
 message_prefix_push("Doc")
 
 # enable if doxygen found
-find_package(Doxygen 1.12.0 REQUIRED dot)
+find_package(Doxygen 1.8 OPTIONAL_COMPONENTS dot)
 
 message(NOTICE "")
 message_title(" documentation ${PROJECT_NAME} ")