diff options
| author | Ben Boeckel <ben.boeckel@kitware.com> | 2020-09-15 09:33:05 -0400 |
|---|---|---|
| committer | Ben Boeckel <ben.boeckel@kitware.com> | 2020-09-16 13:35:53 -0400 |
| commit | 758a8592ed081396580f1d777a58ee32e4741086 (patch) | |
| tree | 5afd02ecf5d2ec60dc1e46c03b0f2091a186f0c2 /Utilities/CMakeLists.txt | |
| parent | 62c4c3c7f418472192284c71dcb2bc74a4178b3c (diff) | |
| download | cmake-758a8592ed081396580f1d777a58ee32e4741086.tar.gz | |
Utilities: also support an already extracted doc tree
Diffstat (limited to 'Utilities/CMakeLists.txt')
| -rw-r--r-- | Utilities/CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Utilities/CMakeLists.txt b/Utilities/CMakeLists.txt index 22a3d5a7fa..b739ae2f92 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) |