Index: minizinc-2.1.5+dfsg1/CMakeLists.txt
===================================================================
--- minizinc-2.1.5+dfsg1.orig/CMakeLists.txt	2017-07-17 22:33:40.000000000 +0300
+++ minizinc-2.1.5+dfsg1/CMakeLists.txt	2017-07-17 22:56:58.434110731 +0300
@@ -679,7 +679,8 @@
 # -------------------------------------------------------------------------------------------------------------------
 INSTALL(FILES ${PROJECT_BINARY_DIR}/minizinc/config.hh DESTINATION include/minizinc)
 INSTALL(FILES README.txt INSTALL.txt LICENSE.txt DESTINATION doc/..)
-INSTALL(DIRECTORY doc/pdf DESTINATION doc)
+INSTALL(DIRECTORY ${PROJECT_BINARY_DIR}/doc/pdf DESTINATION doc)
+INSTALL(DIRECTORY ${PROJECT_BINARY_DIR}/doc/html DESTINATION share/doc/minizinc)
 INSTALL(DIRECTORY share/examples DESTINATION share)
 INSTALL(DIRECTORY lib/cached DESTINATION lib PATTERN md5_cached.cmake EXCLUDE)
 INSTALL(FILES ${parser_hh} DESTINATION include/minizinc)
