FIND_PACKAGE(Sphinx REQUIRED)

# HTML output directory
SET(SPHINX_HTML_DIR "${CMAKE_BINARY_DIR}/docs/html")

# Install documentation
INSTALL(DIRECTORY ${SPHINX_HTML_DIR}
        DESTINATION share/doc/theia
        COMPONENT Doc
        PATTERN "${SPHINX_HTML_DIR}/*")

# Building using 'make_docs.py' python script
ADD_CUSTOM_TARGET(theia_docs ALL
                  python
                  "${CMAKE_SOURCE_DIR}/docs/make_docs.py"
                  "${CMAKE_SOURCE_DIR}"
                  "${CMAKE_BINARY_DIR}/docs"
                  "${SPHINX_EXECUTABLE}"
                  COMMENT "Building HTML documentation with Sphinx")