install the manpage we have

[simgrid.git] / buildtools / Cmake / GenerateDoc.cmake

diff --git a/buildtools/Cmake/GenerateDoc.cmake b/buildtools/Cmake/GenerateDoc.cmake
index c4e84c4..90cbac4 100644 (file)
--- a/buildtools/Cmake/GenerateDoc.cmake
+++ b/buildtools/Cmake/GenerateDoc.cmake
@@ -9,7 +9,8 @@ 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"
 )
        COMMAND pod2man tools/simgrid_update_xml.pl > doc/simgrid_update_xml.1
        COMMENT "Generating manpage for simgrid_update_xml"
 )

-
+install(FILES ${MANPAGES} 
+               DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/share/man/man1/)

 
 #### Generate the html documentation
 
 
 #### Generate the html documentation