| 12345678910111213141516171819 | 
							- 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")
 
 
  |