The script build_docs.sh is used to help move some top level markdown files into the
docs directory to allow for mkdocs to create a website based on the markdown files.
This script gets called via the GitHub Action that will build and deploy the documentation website.