It is now possible to read/write the RNG state in a file.

[simgrid.git] / tools / cmake / Documentation.cmake

diff --git a/tools/cmake/Documentation.cmake b/tools/cmake/Documentation.cmake
index 1386b18..da57877 100644 (file)
--- a/tools/cmake/Documentation.cmake
+++ b/tools/cmake/Documentation.cmake
@@ -131,7 +131,7 @@ if(enable_documentation)
     ${CMAKE_HOME_DIRECTORY}/docs/manpages/smpif90.1
     ${CMAKE_HOME_DIRECTORY}/docs/manpages/smpiff.1
     ${CMAKE_HOME_DIRECTORY}/docs/manpages/smpirun.1
-    DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/share/man/man1
+    DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
   )
 
 else(enable_documentation)