+#### 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
+