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: sphinx-manpages requires fish_indent for version number

Browse Source 
Fixes issue #6216.

Problem introduced in 3b8505bebeebd79c9cd3a3aa39a7404725db985a.
This commit is contained in:
David Adam 2019-09-21 16:32:14 +08:00
parent 102ddd2b79
commit 8e0aa03c4a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cmake/Docs.cmake
View File

@ -26,14 +26,17 @@ ADD_CUSTOM_TARGET(sphinx-docs
DEPENDS sphinx_doc_src/fish_indent_lexer.py fish_indent DEPENDS sphinx_doc_src/fish_indent_lexer.py fish_indent
COMMENT "Building HTML documentation with Sphinx") COMMENT "Building HTML documentation with Sphinx")
# sphinx-manpages needs the fish_indent binary for the version number
ADD_CUSTOM_TARGET(sphinx-manpages ADD_CUSTOM_TARGET(sphinx-manpages
${SPHINX_EXECUTABLE} env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
${SPHINX_EXECUTABLE}
-q -b man -q -b man
-c "${SPHINX_SRC_DIR}" -c "${SPHINX_SRC_DIR}"
-d "${SPHINX_CACHE_DIR}" -d "${SPHINX_CACHE_DIR}"
"${SPHINX_SRC_DIR}" "${SPHINX_SRC_DIR}"
# TODO: This only works if we only have section 1 manpages. # TODO: This only works if we only have section 1 manpages.
"${SPHINX_MANPAGE_DIR}/man1" "${SPHINX_MANPAGE_DIR}/man1"
DEPENDS fish_indent
COMMENT "Building man pages with Sphinx") COMMENT "Building man pages with Sphinx")
IF(SPHINX_EXECUTABLE) IF(SPHINX_EXECUTABLE)