Update build_docs.sh