set(SPHINX_BUILD_OPTIONS ""
    CACHE STRING
    "Options to pass to the sphinx-build program.")

set(RSC_MANUAL_INVENTORY_DIR ""
    CACHE STRING
    "The directory or URL containing the objects.inv file for RSC's Sphinx documentation.")
set(RSB_MANUAL_INVENTORY_DIR ""
    CACHE STRING
    "The directory or URL containing the objects.inv file for RSB's Sphinx documentation.")
set(RST_MANUAL_INVENTORY_DIR ""
    CACHE STRING
    "The directory or URL containing the objects.inv file for RST's Sphinx documentation.")

set(SPHINX_CONF_FILE ${PROJECT_BINARY_DIR}/doc/manual/conf.py)
set(SPHINX_BUILD_DIR ${PROJECT_BINARY_DIR}/doc/manual/build)
set(SPHINX_SOURCE_DIR ${PROJECT_SOURCE_DIR}/doc/manual)

configure_file(conf.py.in ${SPHINX_CONF_FILE})

add_custom_target (doc-sphinx 
                   ${SPHINX_BUILD_TOOL} -c ${PROJECT_BINARY_DIR}/doc/manual/ -b html ${SPHINX_SOURCE_DIR} ${SPHINX_BUILD_DIR}/html ${SPHINX_BUILD_OPTIONS}
				   WORKING_DIRECTORY ${PROJECT_BINARY_DIR}/doc/manual
				   COMMENT "Building User manual")

add_dependencies(doc doc-sphinx)

install(DIRECTORY ${PROJECT_BINARY_DIR}/doc/manual/build/html/
        DESTINATION "share/doc/lib${LIBNAME}/manual"
		OPTIONAL)

set_directory_properties(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES "${SPHINX_BUILD_DIR}/")