Fixed documentation installation

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?