-### Build the doc
-if(enable_doc)
- ADD_CUSTOM_COMMAND(
- OUTPUT ${PROJECT_DIRECTORY}/doc/html
- DEPENDS ${PROJECT_DIRECTORY}/doc/FAQ.doc
- ${PROJECT_DIRECTORY}/buildtools/Cmake/GenerateDoc.cmake
- ${PROJECT_DIRECTORY}/buildtools/Cmake/doc/CMakeLists.txt
- COMMAND ${CMAKE_MAKE_PROGRAM} html
- COMMENT "Generating the simgrid documentation..."
- )
- ADD_CUSTOM_TARGET(simgrid_documentation ALL
- DEPENDS ${PROJECT_DIRECTORY}/doc/html)
-endif(enable_doc)
-