Merge pull request #7899 from Rmys/master

discount
2020-02-08 15:51:26 +03:00
parent ee9a7fc6e5 34ccee228d
commit ee5452591c
1 changed files with 1 additions and 0 deletions
@@ -13,6 +13,7 @@ from pisi.actionsapi import autotools
 def setup():
    shelltools.system("./configure.sh --prefix=/usr \
                                      --libdir=/usr/lib \
+                                      --mandir=/usr/share/man \
                                      --enable-all-features \
                                      --with-fenced-code \
                                      --shared")