+#### 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)
set(BIBTEX2HTML_PATH ${BIBTEX2HTML})
else(BIBTEX2HTML)
ADD_CUSTOM_TARGET(simgrid_documentation
COMMENT "Generating the SimGrid documentation..."
- DEPENDS ${DOC_SOURCES} ${DOC_FIGS} ${source_doxygen} ${DOC_bib}
+ DEPENDS ${DOC_SOURCES} ${DOC_FIGS} ${source_doxygen} ${DOC_bib} ${MANPAGES}
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
)