github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2025-01-19 18:42:44 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

cmake: Stop copying css files

Browse Source 
custom no longer exists and pygments is just with the theme
This commit is contained in:
Fabian Homborg 2021-03-02 17:04:47 +01:00
parent 54ff7b29a9
commit a36dbad3b8
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cmake/Docs.cmake
View File

@ -17,8 +17,6 @@ set(SPHINX_MANPAGE_DIR "${SPHINX_ROOT_DIR}/man")
# Prepend the output dir of fish_indent to PATH. # Prepend the output dir of fish_indent to PATH.
add_custom_target(sphinx-docs add_custom_target(sphinx-docs
mkdir -p ${SPHINX_HTML_DIR}/_static/ mkdir -p ${SPHINX_HTML_DIR}/_static/
COMMAND ${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" COMMAND env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
${SPHINX_EXECUTABLE} ${SPHINX_EXECUTABLE}
-q -b html -q -b html