Update actions.py

2016-07-09 14:08:50 +03:00
parent 09d957072e
commit e1104db5ad
1 changed files with 2 additions and 1 deletions
@@ -13,6 +13,7 @@ from pisi.actionsapi import get
 def build():
    shelltools.system("python bootstrap.py")
    shelltools.system("asciidoc doc/manual.asciidoc")
+    shelltools.system("emacs -Q --batch -f batch-byte-compile misc/ninja-mode.el")

 def check():
    #needs new package gtest -> ignore it for now
@@ -27,4 +28,4 @@ def install():

    pisitools.dodoc("HACKING.md", "COPYING", "RELEASING", "README", "doc/manual.asciidoc")

-    pisitools.dohtml("doc/manual.html")
+    pisitools.dohtml("doc/manual.html")