various fixes to deploy-doc.sh