fixing deploy-doc script