### 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("##########################################")
find_path(FIG2DEV_PATH NAMES fig2dev PATHS NO_DEFAULT_PATHS)
-if(DOXYGEN_FOUND)
+if(enable_documentation)
ADD_CUSTOM_TARGET(documentation
COMMENT "Generating the SimGrid documentation..."
DEPENDS ${DOC_SOURCES} ${DOC_FIGS} ${source_doxygen}
)
add_dependencies(gforge-sync documentation)
-endif() # Doxygen found
+else(enable_documentation)
+ ADD_CUSTOM_TARGET(documentation
+ COMMENT "The generation of the SimGrid documentation was disabled in cmake"
+ )
+endif(enable_documentation)
if (Java_FOUND)
find_path(JAVADOC_PATH NAMES javadoc PATHS NO_DEFAULT_PATHS)