OMakeroot: fix install_doc error