From 758a8592ed081396580f1d777a58ee32e4741086 Mon Sep 17 00:00:00 2001 From: Ben Boeckel Date: Tue, 15 Sep 2020 09:33:05 -0400 Subject: Utilities: also support an already extracted doc tree --- Utilities/CMakeLists.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Utilities/CMakeLists.txt b/Utilities/CMakeLists.txt index 22a3d5a..b739ae2 100644 --- a/Utilities/CMakeLists.txt +++ b/Utilities/CMakeLists.txt @@ -21,6 +21,11 @@ if(CMAKE_DOC_TARBALL) add_custom_target(documentation ALL DEPENDS ${dir}.stamp) install(DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${dir}/ DESTINATION . USE_SOURCE_PERMISSIONS) +elseif (CMake_DOC_ARTIFACT_PREFIX) + # Undocumented option for CI usage to reuse already + # built documentation. + install(DIRECTORY ${CMake_DOC_ARTIFACT_PREFIX}/ + DESTINATION . USE_SOURCE_PERMISSIONS) else() # Normal documentation build. add_subdirectory(Sphinx) -- cgit v0.12