sauve0206

[tools/eficas.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index bfc50dc2792fb1a6fbe314053193c222d40594db..136a1442a1c33b0d86233d26b38e67acb485d0a9 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -201,6 +201,9 @@ if (WITH_ZCRACKS)
   add_subdirectory ( ZCracks )
 endif (WITH_ZCRACKS)
 
+if (BUILD_DOC)
+  add_subdirectory ( Doc )
+endif (BUILD_DOC)
 
 ### Local Variables:
 ### mode: cmake