- )
-endif(enable_documentation)
-
-if (Java_FOUND)
- find_path(JAVADOC_PATH NAMES javadoc PATHS NO_DEFAULT_PATHS)
- mark_as_advanced(JAVADOC_PATH)
-
- ADD_CUSTOM_COMMAND(TARGET documentation
- COMMAND ${CMAKE_COMMAND} -E echo "XX Javadoc pass"
- COMMAND ${JAVADOC_PATH}/javadoc -quiet -d ${CMAKE_HOME_DIRECTORY}/doc/html/javadoc/ ${CMAKE_HOME_DIRECTORY}/src/bindings/java/org/simgrid/*.java ${CMAKE_HOME_DIRECTORY}/src/bindings/java/org/simgrid/*/*.java
- WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc
- )
-endif()
-
-#### Generate the manpages
-if( NOT MANPAGE_DIR)
- set( MANPAGE_DIR ${CMAKE_BINARY_DIR}/manpages )
-endif()
-
-add_custom_target(manpages ALL
- COMMAND ${CMAKE_COMMAND} -E make_directory ${MANPAGE_DIR}
- COMMAND pod2man ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl > ${MANPAGE_DIR}/simgrid_update_xml.1
- COMMAND pod2man ${CMAKE_HOME_DIRECTORY}/doc/manpage/tesh.pod > ${MANPAGE_DIR}/tesh.1
- COMMENT "Generating manpages"