Added docs pipeline.

5cript · Nov 11, 2023 · ebd73ae · ebd73ae
1 parent 5b3bfc7
commit ebd73ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs_source/CMakeLists.txt b/docs_source/CMakeLists.txt
@@ -42,7 +42,7 @@ add_custom_command(
     WORKING_DIRECTORY ${SPHINX_DIR})
 
 add_custom_target(
-    documentation
+    documentation ALL
     COMMAND ${CMAKE_COMMAND} -E copy "${CMAKE_CURRENT_SOURCE_DIR}/scripts/servethis.py"
             "${DOCS_DIR}/servethis.py"
     COMMAND ${CMAKE_COMMAND} -E copy "${CMAKE_CURRENT_SOURCE_DIR}/auxiliary/.nojekyll"