From b83573e05b240890c21a00f1f8bc3e8186b96af0 Mon Sep 17 00:00:00 2001
From: vitaut <victor.zverovich@gmail.com>
Date: Thu, 19 Nov 2015 14:57:31 -0800
Subject: [PATCH] Install documentation

---
 doc/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index e738b614f..a1f7d9b81 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -50,3 +50,7 @@ add_prefix(doc_deps ../ ${MP_HEADERS})
 add_custom_target(doc
   COMMAND python ${BUILD_DOCS}
   DEPENDS conf.py ${doc_deps} ${amplgsl_docs})
+
+install(DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/ampl.github.io/
+        DESTINATION share/doc/mp
+        PATTERN .* EXCLUDE)