2017-12-03 18:52:58 +03:00
|
|
|
if(SPHINX_FOUND)
|
|
|
|
|
|
|
|
|
|
# Sphinx cache with pickled ReST documents
|
|
|
|
|
set(SPHINX_CACHE_DIR "${CMAKE_CURRENT_BINARY_DIR}/_doctrees")
|
|
|
|
|
|
|
|
|
|
# HTML output directory
|
|
|
|
|
set(SPHINX_MAN_DIR "${CMAKE_CURRENT_BINARY_DIR}/man1")
|
|
|
|
|
install(DIRECTORY ${SPHINX_MAN_DIR} DESTINATION ${CMAKE_INSTALL_MANDIR} OPTIONAL)
|
|
|
|
|
add_custom_target( doc-man ${SPHINX_EXECUTABLE}
|
2018-05-29 16:35:19 +03:00
|
|
|
-c ${CMAKE_BINARY_DIR}/doc -b man
|
2017-12-03 18:52:58 +03:00
|
|
|
-d ${SPHINX_CACHE_DIR}/man
|
|
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}
|
|
|
|
|
${SPHINX_MAN_DIR} )
|
|
|
|
|
endif(SPHINX_FOUND)
|
