fixed filename in build_docs.sh