-#### Generate the manpages
-if( NOT MANPAGE_DIRECTORY )
- set( MANPAGE_DIRECTORY /usr/share/man/man1 )
-endif( NOT MANPAGE_DIRECTORY)
-
-set(MANPAGES doc/simgrid_update_xml.1)
-
-add_custom_command(OUTPUT doc/simgrid_update_xml.1
- COMMAND pod2man tools/simgrid_update_xml.pl > doc/simgrid_update_xml.1
- COMMENT "Generating manpage for simgrid_update_xml"
-)
-
-
#### Generate the html documentation
if(BIBTEX2HTML)
ADD_CUSTOM_TARGET(simgrid_documentation
COMMENT "Generating the SimGrid documentation..."
- DEPENDS ${DOC_SOURCES} ${DOC_FIGS} ${source_doxygen} ${DOC_bib} ${MANPAGES}
+ DEPENDS ${DOC_SOURCES} ${DOC_FIGS} ${source_doxygen} ${DOC_bib}
COMMAND ${FIG2DEV_PATH}/fig2dev -Lmap ${CMAKE_HOME_DIRECTORY}/doc/fig/simgrid_modules.fig | perl -pe 's/imagemap/simgrid_modules/g'| perl -pe 's/<IMG/<IMG style=border:0px/g' | ${CMAKE_HOME_DIRECTORY}/tools/doxygen/fig2dev_postprocessor.pl > ${CMAKE_HOME_DIRECTORY}/doc/simgrid_modules.map
WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc
)