libdrm-2.4.107

2021-07-06 11:03:18 +03:00
parent 2f9578abce
commit 3d2b3fbaee
1 changed files with 0 additions and 1 deletions
@@ -10,7 +10,6 @@ from pisi.actionsapi import shelltools


 def setup():
-    shelltools.export("rst2man", "rst2man_3")
    if not get.buildTYPE() == "emul32":
        options = "-Dudev=true \
                   -Dvalgrind=true \