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"
38 add_custom_target(html
41 -c "${SPHINX_BUILD_DIR}"
42 -d "${SPHINX_CACHE_DIR}"
44 "${SPHINX_SOURCE_DIR}"
46 BYPRODUCTS ${SPHINX_HTML_DIR}
51 add_custom_target(man ALL
54 -c "${SPHINX_BUILD_DIR}"
55 -d "${SPHINX_CACHE_DIR}"
57 "${SPHINX_SOURCE_DIR}"
59 BYPRODUCTS ${SPHINX_MAN_DIR}
64 find_program(PIGZ pigz)
68 find_package(UnixCommands)
72 add_custom_target(man_gz ALL
73 ${GZIP} -kf ${SPHINX_MAN_DIR}/*.{1,3}
79 install(DIRECTORY ${SPHINX_MAN_DIR}/
80 DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
81 FILES_MATCHING PATTERN *.1${MAN_EXT}
83 install(DIRECTORY ${SPHINX_MAN_DIR}/
84 DESTINATION ${CMAKE_INSTALL_MANDIR}/man3
85 FILES_MATCHING PATTERN *.3${MAN_EXT}