summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xCMakeLists.txt4
1 files changed, 4 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4c1cdb94da4..bd6310a20eb 100755
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -241,3 +241,7 @@ INSTALL(FILES COPYING EXCEPTIONS-CLIENT README DESTINATION .)
IF(UNIX)
INSTALL(FILES Docs/INSTALL-BINARY DESTINATION .)
ENDIF()
+# MYSQL_DOCS_LOCATON is used in "make dist", points to the documentation directory
+SET(MYSQL_DOCS_LOCATION "" CACHE PATH "Location from where documentation is copied")
+MARK_AS_ADVANCED(MYSQL_DOCS_LOCATION)
+INSTALL(DIRECTORY Docs DESTINATION .)