diff --git a/cmake/Docs.cmake b/cmake/Docs.cmake index dc73e887e..5f095daae 100644 --- a/cmake/Docs.cmake +++ b/cmake/Docs.cmake @@ -17,8 +17,6 @@ set(SPHINX_MANPAGE_DIR "${SPHINX_ROOT_DIR}/man") # Prepend the output dir of fish_indent to PATH. add_custom_target(sphinx-docs 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="$:$$PATH" ${SPHINX_EXECUTABLE} -q -b html