Update push-doc.sh