diff --git a/rpminstall_sh.txt b/rpminstall_sh.txt
index c184585e94f..5694f250b5d 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