3 if(NOT SPHINX_EXECUTABLE)
5 message(WARNING "The sphinx-build command is required to build manpages.")
9 if(NOT DEFINED SPHINX_OPTIONS)
13 if(NOT DEFINED SPHINX_THEME)
14 set(SPHINX_THEME sphinx_rtd_theme)
15 set(SPHINX_THEME_OPTIONS "'collapse_navigation':False, 'navigation_depth':2, 'titles_only':False, 'includehidden':False")
18 set(SPHINX_SOURCE_DIR "${CMAKE_CURRENT_SOURCE_DIR}/source")
20 # configured documentation tools and intermediate build results
21 set(SPHINX_BUILD_DIR "${CMAKE_CURRENT_BINARY_DIR}")
23 # Sphinx cache with pickled ReST documents
24 set(SPHINX_CACHE_DIR "${SPHINX_BUILD_DIR}/_doctrees")
26 # HTML output directory
27 set(SPHINX_HTML_DIR "${SPHINX_BUILD_DIR}/html")
29 # MAN output directory
30 set(SPHINX_MAN_DIR "${SPHINX_BUILD_DIR}/man")
33 "${SPHINX_SOURCE_DIR}/conf.py.in"
34 "${SPHINX_BUILD_DIR}/conf.py"
37 add_custom_target(html
40 -c "${SPHINX_BUILD_DIR}"
41 -d "${SPHINX_CACHE_DIR}"
43 "${SPHINX_SOURCE_DIR}"
45 BYPRODUCTS ${SPHINX_HTML_DIR}
47 add_custom_target(man ALL
50 -c "${SPHINX_BUILD_DIR}"
51 -d "${SPHINX_CACHE_DIR}"
53 "${SPHINX_SOURCE_DIR}"
55 BYPRODUCTS ${SPHINX_MAN_DIR}
60 find_program(PIGZ pigz)
64 find_package(UnixCommands)
68 add_custom_target(man_gz ALL
69 ${GZIP} -rkf ${SPHINX_MAN_DIR}
75 install(DIRECTORY ${SPHINX_MAN_DIR}/
76 DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
77 FILES_MATCHING PATTERN *.1${MAN_EXT}
79 install(DIRECTORY ${SPHINX_MAN_DIR}/
80 DESTINATION ${CMAKE_INSTALL_MANDIR}/man3
81 FILES_MATCHING PATTERN *.3${MAN_EXT}