From 6dd4ce8fb4a20019776994322c57b4ed11756f8f Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 19 Apr 2011 17:07:09 +0200
Subject: [PATCH 1/1] install the manpage we have

---
 buildtools/Cmake/GenerateDoc.cmake | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/buildtools/Cmake/GenerateDoc.cmake b/buildtools/Cmake/GenerateDoc.cmake
index c4e84c4afa..90cbac4002 100644
--- 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"
 )
-
+install(FILES ${MANPAGES} 
+		DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/share/man/man1/)
 
 #### Generate the html documentation
 
-- 
2.20.1