From a36dbad3b82c36352c6cf9d4bbdc58c7bd46e18a Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Tue, 2 Mar 2021 17:04:47 +0100
Subject: [PATCH] cmake: Stop copying css files

custom no longer exists and pygments is just with the theme
---
 cmake/Docs.cmake | 2 --
 1 file changed, 2 deletions(-)

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="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
         ${SPHINX_EXECUTABLE}
         -q -b html