From 0f59e4280269c44637f2c31f07b09c9740d5fe30 Mon Sep 17 00:00:00 2001
From: David Adam <zanchey@ucc.gu.uwa.edu.au>
Date: Sat, 24 Mar 2018 22:34:30 +0800
Subject: [PATCH] [cmake] support prebuilt documentation in out-of-tree builds

---
 cmake/Docs.cmake | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/cmake/Docs.cmake b/cmake/Docs.cmake
index df5a91a66..54ff25e81 100644
--- a/cmake/Docs.cmake
+++ b/cmake/Docs.cmake
@@ -136,4 +136,15 @@ IF(BUILD_DOCS)
     # Group docs targets into a DocsTargets folder
     SET_PROPERTY(TARGET doc BUILD_MANUALS build_lexicon_filter
                  PROPERTY FOLDER cmake/DocTargets)
+ELSEIF(HAVE_PREBUILT_DOCS)
+    IF(NOT CMAKE_CURRENT_SOURCE_DIR STREQUAL CMAKE_CURRENT_BINARY_DIR)
+        # Out of tree build - link the prebuilt documentation to the build tree
+        ADD_CUSTOM_TARGET(link_doc ALL)
+        ADD_CUSTOM_COMMAND(TARGET link_doc
+            COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_CURRENT_SOURCE_DIR}/share/man ${CMAKE_CURRENT_BINARY_DIR}/share/man
+            POST_BUILD)
+        ADD_CUSTOM_COMMAND(TARGET link_doc
+            COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_CURRENT_SOURCE_DIR}/user_doc ${CMAKE_CURRENT_BINARY_DIR}/user_doc
+            POST_BUILD)
+    ENDIF()
 ENDIF(BUILD_DOCS)