diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index db48cb97e..e7adc0899 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -70,16 +70,6 @@ set(SPHINX_SOURCE_FILES src/dataformat.rst ) -configure_file( - "${CMAKE_CURRENT_SOURCE_DIR}/static/extra.css" - "${SPHINX_BUILD}/static/css/extra.css" - @ONLY) - - # Add this if it's not already copying the full static folder: -file(COPY ${CMAKE_CURRENT_SOURCE_DIR}/src/images - DESTINATION ${SPHINX_BUILD}/src) - - foreach(filename ${SPHINX_SOURCE_FILES}) configure_file(${CMAKE_CURRENT_SOURCE_DIR}/${filename} "${SPHINX_BUILD}/${filename}") @@ -95,6 +85,15 @@ configure_file( "${SPHINX_BUILD}/gen_server_doc.py" @ONLY) +configure_file( + "${CMAKE_CURRENT_SOURCE_DIR}/static/extra.css" + "${SPHINX_BUILD}/static/css/extra.css" + @ONLY) + + +file(COPY ${CMAKE_CURRENT_SOURCE_DIR}/src/images + DESTINATION ${SPHINX_BUILD}/src) + add_custom_target(server_rst python gen_server_doc.py)