Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2025-01-27 20:25:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

CMake BUILD_DOCS option to look for sphinx instead of Doxygen

Browse source
This commit is contained in:
ridiculousfish 2019-02-24 18:44:29 -08:00
parent a1f122f603
commit 2ec33be90f
1 changed files with 7 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
cmake/Docs.cmake
View file

@ -1,5 +1,3 @@
FIND_PACKAGE(Doxygen 1.8.7)
FIND_PROGRAM(SPHINX_EXECUTABLE NAMES sphinx-build FIND_PROGRAM(SPHINX_EXECUTABLE NAMES sphinx-build
HINTS HINTS
$ENV{SPHINX_DIR} $ENV{SPHINX_DIR}
@ -35,14 +33,14 @@ ADD_CUSTOM_TARGET(sphinx-manpages
"${SPHINX_MANPAGE_DIR}" "${SPHINX_MANPAGE_DIR}"
COMMENT "Building man pages with Sphinx") COMMENT "Building man pages with Sphinx")
IF(DOXYGEN_FOUND) IF(SPHINX_EXECUTABLE)
OPTION(BUILD_DOCS "build documentation (requires Doxygen)" ON) OPTION(BUILD_DOCS "build documentation (requires Sphinx)" ON)
ELSE(DOXYGEN_FOUND) ELSE(SPHINX_EXECUTABLE)
OPTION(BUILD_DOCS "build documentation (requires Doxygen)" OFF) OPTION(BUILD_DOCS "build documentation (requires Sphinx)" OFF)
ENDIF(DOXYGEN_FOUND) ENDIF(SPHINX_EXECUTABLE)
IF(BUILD_DOCS AND NOT DOXYGEN_FOUND) IF(BUILD_DOCS AND NOT SPHINX_EXECUTABLE)
MESSAGE(FATAL_ERROR "build documentation selected, but Doxygen could not be found") MESSAGE(FATAL_ERROR "build documentation selected, but sphinx-build could not be found")
ENDIF() ENDIF()
IF(IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/html IF(IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/html