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-15 23:22:53 +08:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity

sphinx: honor changes in static html assets

Browse Source 
Also fix custom.css.
This commit is contained in:
Johannes Altmanninger 2019-10-15 21:59:37 +02:00
parent e0d623d4b7
commit aa1bf9f277
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cmake/Docs.cmake
View File

@ -16,7 +16,9 @@ SET(SPHINX_MANPAGE_DIR "${SPHINX_ROOT_DIR}/man")
# sphinx-docs uses fish_indent for highlighting.
# Prepend the output dir of fish_indent to PATH.
ADD_CUSTOM_TARGET(sphinx-docs
env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
${CMAKE_COMMAND} -E copy_if_different ${SPHINX_SRC_DIR}/_static/pygments.css ${SPHINX_HTML_DIR}/_static/
COMMAND ${CMAKE_COMMAND} -E copy_if_different ${SPHINX_SRC_DIR}/_static/custom.css ${SPHINX_HTML_DIR}/_static/
COMMAND env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
${SPHINX_EXECUTABLE}
-q -b html
-c "${SPHINX_SRC_DIR}"

2
sphinx_doc_src/_static/custom.css
View File

@ -1 +1 @@
.sphinxsidebar > ul.current > li.current { font-weight: bold }
.sphinxsidebar ul.current > li.current { font-weight: bold }