diff --git a/editor/discount/discount/actions.py b/editor/discount/discount/actions.py index 907495638e..ddde66510e 100644 --- a/editor/discount/discount/actions.py +++ b/editor/discount/discount/actions.py @@ -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")