diff options
Diffstat (limited to 'databases/mysqlwsrep57-server/files/patch-man_CMakeLists.txt')
-rw-r--r-- | databases/mysqlwsrep57-server/files/patch-man_CMakeLists.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/mysqlwsrep57-server/files/patch-man_CMakeLists.txt b/databases/mysqlwsrep57-server/files/patch-man_CMakeLists.txt new file mode 100644 index 000000000000..b771ae6214f0 --- /dev/null +++ b/databases/mysqlwsrep57-server/files/patch-man_CMakeLists.txt @@ -0,0 +1,11 @@ +--- man/CMakeLists.txt.orig 2015-11-29 19:16:24 UTC ++++ man/CMakeLists.txt +@@ -15,8 +15,6 @@ + + # Copy man pages + FILE(GLOB MAN1_FILES *.1) +-FILE(GLOB MAN1_EXCLUDE make_win_bin_dist.1) +-FILE(GLOB MAN1_NDB ndb*.1) + FILE(GLOB MAN8_FILES *.8) + FILE(GLOB MAN8_NDB ndb*.8) + IF(MAN1_FILES) |