diff options
Diffstat (limited to 'databases/mysql56-server/files/patch-man_CMakeLists.txt')
| -rw-r--r-- | databases/mysql56-server/files/patch-man_CMakeLists.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/mysql56-server/files/patch-man_CMakeLists.txt b/databases/mysql56-server/files/patch-man_CMakeLists.txt new file mode 100644 index 000000000000..7849c77af111 --- /dev/null +++ b/databases/mysql56-server/files/patch-man_CMakeLists.txt @@ -0,0 +1,11 @@ +--- man/CMakeLists.txt.orig 2011-10-22 14:36:06.000000000 +0200 ++++ man/CMakeLists.txt 2011-10-22 14:36:23.000000000 +0200 +@@ -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) |