Enable more debug output for bin/deploy_doc.sh

see #8387