[FIX] Compile the migrate script in doc/migrate

lp bug: https://launchpad.net/bugs/311981 fixed

bzr revid: stephane@tinyerp.com-20090129004250-ca0akzfsdxlc4jd7

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