mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
Merge branch '5.5' into 10.0
This commit is contained in:
commit
0d622bed4f
11 changed files with 70 additions and 521 deletions
|
|
@ -483,8 +483,7 @@ ADD_CUSTOM_TARGET(INFO_BIN ALL
|
|||
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
|
||||
)
|
||||
|
||||
INSTALL_DOCUMENTATION(README CREDITS COPYING COPYING.LESSER EXCEPTIONS-CLIENT
|
||||
COMPONENT Readme)
|
||||
INSTALL_DOCUMENTATION(README CREDITS COPYING EXCEPTIONS-CLIENT COMPONENT Readme)
|
||||
|
||||
# MDEV-6526 these files are not installed anymore
|
||||
#INSTALL_DOCUMENTATION(${CMAKE_BINARY_DIR}/Docs/INFO_SRC
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue