BUG: errors cause early end in build_docs.sh