Building the web page using Mkdocs + mkdocs-material

The build_and_upload_docs bash script must be run from the docs directory. The web page is uploaded to the gh_pages branch and a background operation is performed by github to publish the webpage to the github.io domain.

Acknowledgements

This web page uses build technology kindly provided by:

mkdocs

mkdocs-material