Fix deploy_doc