diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 07073758716d3cade6979e361bda7f75b8d2cbce..e79c401611dd597001a640bac5977369b635758e 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?