update doc
various fixes to deploy-doc.sh