mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
syntax
This commit is contained in:
parent
159852698b
commit
83de7f640a
1 changed files with 1 additions and 1 deletions
|
@ -17,7 +17,7 @@
|
|||
FILE(GLOB MAN1_FILES *.1)
|
||||
FILE(GLOB MAN8_FILES *.8)
|
||||
IF(MAN1_FILES)
|
||||
LIST(REMOVE_ITEM MAN1_FILES "make_win_bin_dist.1"
|
||||
LIST(REMOVE_ITEM MAN1_FILES "make_win_bin_dist.1")
|
||||
INSTALL(FILES ${MAN1_FILES} DESTINATION ${INSTALL_MANDIR}/man1)
|
||||
ENDIF()
|
||||
IF(MAN8_FILES)
|
||||
|
|
Loading…
Add table
Reference in a new issue