# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1605725534 -3600
# Node ID d5263d467934876b1464e5814cbab47458fce50c
# Parent  6f6c49b95f77b708ae7b298f3c678e52fe9f94a1
doc: disable if doxygen isn't enable

diff -r 6f6c49b95f77 -r d5263d467934 CMakeLists.txt
--- a/CMakeLists.txt	Wed Nov 18 19:43:40 2020 +0100
+++ b/CMakeLists.txt	Wed Nov 18 19:52:14 2020 +0100
@@ -63,6 +63,10 @@
 add_subdirectory(molko)
 
 if (MOLKO_WITH_DOC)
+	if (NOT MOLKO_WITH_DOXYGEN)
+		message(FATAL_ERROR "Can't build documentation with doxygen disabled")
+	endif ()
+
 	add_subdirectory(doc)
 endif ()