Actually install the doc.

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index 638c730..e244cd0 100644 (file)
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -3,6 +3,9 @@
 #########################################
 
 # doc
 #########################################
 
 # doc

+file(MAKE_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/html/)
+install(DIRECTORY "${CMAKE_HOME_DIRECTORY}/doc/html/"
+  DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/doc/html/)

 
 #### Generate the manpages
 if(NOT WIN32)
 
 #### Generate the manpages
 if(NOT WIN32)