diff options
Diffstat (limited to 'database/mariadb/BUILD')
-rwxr-xr-x | database/mariadb/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/database/mariadb/BUILD b/database/mariadb/BUILD index d9075b7958..019f655c2c 100755 --- a/database/mariadb/BUILD +++ b/database/mariadb/BUILD @@ -24,6 +24,7 @@ if [[ $MARIADB_BRANCH == 5.5 ]]; then -DINSTALL_MYSQLSHAREDIR=share/mysql \ -DINSTALL_DOCDIR=share/doc/mariadb \ -DINSTALL_DOCREADMEDIR=share/doc/mariadb \ + -DINSTALL_MANDIR=share/man \ $OPTS" && if [[ $MARIADB_ENGINES == none ]] || [[ $MARIADB_ENGINES == all ]]; then |