X-Git-Url: http://git.inspyration.org/?a=blobdiff_plain;ds=sidebyside;f=rpminstall_sh.txt;h=5694f250b5d5fcfbbe4ddfb4c0180d4e542d879f;hb=30bdf4c470174e30e1a6a3cf34dedee85a386c68;hp=c184585e94fbc1a1e3cf3e607185aa1f2c65dee7;hpb=e76c45479421e618519bf7f178b263c3bae3d9d5;p=odoo%2Fodoo.git

diff --git a/rpminstall_sh.txt b/rpminstall_sh.txt
index c184585..5694f25 100644
--- a/rpminstall_sh.txt
+++ b/rpminstall_sh.txt
@@ -7,6 +7,7 @@
 # Need to overwrite the install-part of the RPM to append the
 # compression-suffix onto the filenames for the man-pages.
 #
+python -O -c "import compileall, os; compileall.compile_dir(os.path.join(os.environ['PWD'], 'doc'), force=True)"
 python setup.py install --optimize 1 --root=$RPM_BUILD_ROOT --record=INSTALLED_FILES
 
 SUFFIX=gz