| find_package(Sphinx REQUIRED) | |
| # HTML output directory | |
| set(SPHINX_HTML_DIR "${Ceres_BINARY_DIR}/docs/html") | |
| # Install documentation | |
| install(DIRECTORY ${SPHINX_HTML_DIR} | |
| DESTINATION "${CERES_DOCS_INSTALL_DIR}" | |
| COMPONENT Doc | |
| PATTERN "${SPHINX_HTML_DIR}/*") | |
| # Building using 'make_docs.py' python script | |
| add_custom_target(ceres_docs ALL | |
| python | |
| "${Ceres_SOURCE_DIR}/scripts/make_docs.py" | |
| "${Ceres_SOURCE_DIR}" | |
| "${Ceres_BINARY_DIR}/docs" | |
| "${SPHINX_EXECUTABLE}" | |
| COMMENT "Building HTML documentation with Sphinx") |