From 30ef06125b11d663d987147743f62dad0d47987d Mon Sep 17 00:00:00 2001
From: Rene Gassmoeller <rene.gassmoeller@mailbox.org>
Date: Wed, 14 Feb 2024 21:53:22 -0600
Subject: [PATCH] Only make html manual with "make manual"

---
 doc/CMakeLists.txt | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 658bf1a8c..0792ed0fa 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -66,12 +66,6 @@ if(WB_BUILD_DOCUMENTATION)
 
   add_custom_target(manual
                     COMMAND
-                    ${CMAKE_COMMAND} -E copy_directory
-                    ${CMAKE_CURRENT_SOURCE_DIR}/sphinx/_static/ ${CMAKE_CURRENT_BINARY_DIR}/sphinx/_static/ &&
-                    ${SPHINX_EXECUTABLE} -b html  -c ${CMAKE_CURRENT_BINARY_DIR}/sphinx -v
-                    ${SPHINX_SOURCE} ${SPHINX_BUILD} && 
-                    ${SPHINX_EXECUTABLE} -b latex  -c ${CMAKE_CURRENT_BINARY_DIR}/sphinx -v
-                    ${SPHINX_SOURCE} ${SPHINX_BUILD} && cd ${SPHINX_BUILD} && make
-                    WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/sphinx
-                    COMMENT "Generating documentation with Sphinx")
+                    ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target manual_html)
+
 endif()