diff options
author | Ben Boeckel <ben.boeckel@kitware.com> | 2020-09-15 13:33:05 (GMT) |
---|---|---|
committer | Ben Boeckel <ben.boeckel@kitware.com> | 2020-09-16 17:35:53 (GMT) |
commit | 758a8592ed081396580f1d777a58ee32e4741086 (patch) | |
tree | 5afd02ecf5d2ec60dc1e46c03b0f2091a186f0c2 /Utilities/CMakeLists.txt | |
parent | 62c4c3c7f418472192284c71dcb2bc74a4178b3c (diff) | |
download | CMake-758a8592ed081396580f1d777a58ee32e4741086.zip CMake-758a8592ed081396580f1d777a58ee32e4741086.tar.gz CMake-758a8592ed081396580f1d777a58ee32e4741086.tar.bz2 |
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 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) |