From 2e0eac369b67aa9b4254a8372c563513133f1cd0 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 29 Jan 2013 17:31:57 +0100
Subject: [PATCH 1/1] Actually install the doc.

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

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index 638c7309e1..e244cd080a 100644
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -3,6 +3,9 @@
 #########################################
 
 # 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)
-- 
2.20.1