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.