github-mirror/fish-shell
github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2025-03-27 14:45:13 +08:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

cmake: fix prebuilt documentation detection and installation

Browse Source
This commit is contained in:
David Adam 2019-03-04 22:06:07 +08:00
parent 89a7cc5da3
commit 08fd8b6472
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cmake/Docs.cmake
View File

@ -13,8 +13,6 @@ SET(SPHINX_CACHE_DIR "${SPHINX_ROOT_DIR}/doctrees")
SET(SPHINX_HTML_DIR "${SPHINX_ROOT_DIR}/html") SET(SPHINX_HTML_DIR "${SPHINX_ROOT_DIR}/html")
SET(SPHINX_MANPAGE_DIR "${SPHINX_ROOT_DIR}/man") SET(SPHINX_MANPAGE_DIR "${SPHINX_ROOT_DIR}/man")
CONFIGURE_FILE("${SPHINX_SRC_DIR}/conf.py" "${SPHINX_BUILD_DIR}/conf.py" @ONLY)
ADD_CUSTOM_TARGET(sphinx-docs ADD_CUSTOM_TARGET(sphinx-docs
${SPHINX_EXECUTABLE} ${SPHINX_EXECUTABLE}
-q -b html -q -b html
@ -45,7 +43,7 @@ IF(BUILD_DOCS AND NOT SPHINX_EXECUTABLE)
ENDIF() ENDIF()
IF(IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/html IF(IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/html
AND IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/share/man/man1) AND IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/man)
SET(HAVE_PREBUILT_DOCS TRUE) SET(HAVE_PREBUILT_DOCS TRUE)
ELSE() ELSE()
SET(HAVE_PREBUILT_DOCS FALSE) SET(HAVE_PREBUILT_DOCS FALSE)
@ -60,6 +58,7 @@ ENDIF()
ADD_FEATURE_INFO(Documentation INSTALL_DOCS "user manual and documentation") ADD_FEATURE_INFO(Documentation INSTALL_DOCS "user manual and documentation")
IF(BUILD_DOCS) IF(BUILD_DOCS)
CONFIGURE_FILE("${SPHINX_SRC_DIR}/conf.py" "${SPHINX_BUILD_DIR}/conf.py" @ONLY)
ADD_CUSTOM_TARGET(doc ALL ADD_CUSTOM_TARGET(doc ALL
DEPENDS sphinx-docs sphinx-manpages) DEPENDS sphinx-docs sphinx-manpages)