discount

2020-02-08 15:50:52 +03:00
parent 422abb0bc8
commit 34ccee228d
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")