Enable more debug output for bin/deploy_doc.sh

see #8387

Same goes for this too.