From 57bbb46cba07fec00eaefb611f45ec8442dd9216 Mon Sep 17 00:00:00 2001
From: Stefan Bienert <stefan.bienert@unibas.ch>
Date: Mon, 28 Oct 2013 15:41:52 +0100
Subject: [PATCH] Fixed documentation installation
---
doc/CMakeLists.txt | 12 +++++++++++-
1 file changed, 11 insertions(+), 1 deletion(-)
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 07073758..e79c4016 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -2,7 +2,7 @@
# - setup directories: sources go to BUILD/doc/source
# - every module gets its own directory
# - rst files are copied to this spot
-# - compiled documentation goes to STAGE/...?
+# - compiled documentation goes to STAGE/share/promod3
# set up commands for the rst source files
# take care of Sphinx config, conf.py; will be created from conf.py.in since
@@ -83,5 +83,15 @@ add_custom_target(doc ALL)
add_dependencies(doc html)
add_dependencies(doc man)
+# installing: Since shared data goes to our own sub directory, it is assumed
+# save to just copy over whole directories. This saves us from
+# keeping track of all output files of a html doc tree
+# We install FROM the stage dir tree, since Sphinx will build the
+# documentation right there.
+# install html documentation
+install(DIRECTORY ${_SPHINX_HTML_DIR} DESTINATION "share/promod3")
+# install man pages
+install(DIRECTORY ${_SPHINX_MAN_DIR} DESTINATION "share/promod3")
+
# doctest & linkcheck goes into check, once its created
# what about extratcting stuff from code?
--
GitLab