mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-30 18:41:56 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Try again

Browse source
This commit is contained in:
Jonathan Perkin 2010-04-27 20:12:13 +02:00
parent 58aec81185
commit 159852698b
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
man/CMakeLists.txt
View file

@ -17,9 +17,8 @@
FILE(GLOB MAN1_FILES *.1)
FILE(GLOB MAN8_FILES *.8)
IF(MAN1_FILES)
INSTALL(FILES ${MAN1_FILES} DESTINATION ${INSTALL_MANDIR}/man1
PATTERN "make_win_bin_dist.1" EXCLUDE
)
LIST(REMOVE_ITEM MAN1_FILES "make_win_bin_dist.1"
INSTALL(FILES ${MAN1_FILES} DESTINATION ${INSTALL_MANDIR}/man1)
ENDIF()
IF(MAN8_FILES)
INSTALL(FILES ${MAN8_FILES} DESTINATION ${INSTALL_MANDIR}/man8)