From 34ccee228d54c3b18bee4845c3d6e609ed2b8ce0 Mon Sep 17 00:00:00 2001 From: Rmys Date: Sat, 8 Feb 2020 15:50:52 +0300 Subject: [PATCH] discount --- editor/discount/discount/actions.py | 1 + 1 file changed, 1 insertion(+) 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")