-add_custom_target(sync-gforge-dtd
- COMMAND ${RSYNC_CMD} src/surf/simgrid.dtd scm.gforge.inria.fr:/home/groups/simgrid/htdocs/simgrid/${release_version}/simgrid.dtd
- COMMAND ${RSYNC_CMD} src/surf/simgrid.dtd scm.gforge.inria.fr:/home/groups/simgrid/htdocs/simgrid.dtd
- WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}"
- )
-endif() # Doxygen found
+else(enable_documentation)
+ ADD_CUSTOM_TARGET(documentation
+ COMMENT "The generation of the SimGrid documentation was disabled in cmake"
+ )
+endif(enable_documentation)