From 218f90693e17b96762c4f2dfeb74425d4a7b6da6 Mon Sep 17 00:00:00 2001
From: Daniel Vonk <daniel.vonk@tum.de>
Date: Thu, 11 Apr 2024 12:16:54 +0200
Subject: [PATCH] Update CMake script for building docs
Include the new docs directories for the sphinx compilation
---
docs/CMakeLists.txt | 11 ++++-------
1 file changed, 4 insertions(+), 7 deletions(-)
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index b6f2acd..73f3dd8 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -63,19 +63,16 @@ if(NOT DOXYSPHINX_EXECUTABLE)
)
endif()
-file(GLOB _sphinx_sources *.rst)
-# add_custom_command(
-# OUTPUT docs-sphinx
-# COMMAND ${SPHINX_EXECUTABLE} -b html -d _build/doctrees . _build/html
-# COMMENT "Building HTML documentation with Sphinx"
-# )
-
file(GLOB _top_level_rst_and_md_files *.md *.rst)
add_custom_command(
OUTPUT docs-sass-doxysphinx
# Copy Sphinx sources
COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_CURRENT_SOURCE_DIR}/sphinx ${MIXED_OUTPUT_DIRECTORY}/sphinx/docs
COMMAND ${CMAKE_COMMAND} -E copy_if_different ${_top_level_rst_and_md_files} ${MIXED_OUTPUT_DIRECTORY}/sphinx/docs
+ COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_CURRENT_SOURCE_DIR}/for_devs
+ ${MIXED_OUTPUT_DIRECTORY}/sphinx/docs/for_devs
+ COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_CURRENT_SOURCE_DIR}/for_users
+ ${MIXED_OUTPUT_DIRECTORY}/sphinx/docs/for_users
# Copy Doxygen sources
COMMAND ${CMAKE_COMMAND} -E copy_directory ${DOXYGEN_OUTPUT_DIRECTORY} ${MIXED_OUTPUT_DIRECTORY}/sphinx/docs/doxygen
# Run doxysphinx to convert Doxygen output into Sphinx compatible output.
--
GitLab