X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/72643e283c3f6fdc452a75d939ab975c22867fc5..ebdf6b2ff4bf1ab85c678e098fd1f8180ab5a678:/CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index d37c886a53..76a32dabdd 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -895,6 +895,9 @@ endforeach()
 ### Setup the distrib
 include(${CMAKE_HOME_DIRECTORY}/tools/cmake/Distrib.cmake)
 
+### Build the docs if asked to
+include(${CMAKE_HOME_DIRECTORY}/tools/cmake/Documentation.cmake)
+
 ### Print the result of configuration
 message("")
 message("##########################################")