diff options
-rwxr-xr-x | CMakeLists.txt | 4 |
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 .) |