Merge pull request #53 from robbiemorrison/copy-edits-2 #11

	name: Generate [version] documentation

	on:
	push:
	branches:
	- 'v.'

	jobs:
	build_current:
	name: Build current
	runs-on: ubuntu-latest
	container: python:3
	steps:
	- uses: actions/checkout@v3
	with:
	ref: 'main'
	- name: Install pre-requisites
	run: pip install -r requirements.txt
	- name: Install mike
	run: pip install mike
	- name: Build
	run: mkdocs build -v --clean
	- name: Configure Git user
	run: \|
	git config --global --add safe.directory '*'
	git fetch origin gh-pages --depth=1
	git config --global user.email "github-actions[bot]@users.noreply.github.com"
	git config --global user.name "github-actions[bot]"
	- name: Deploy MkDoc with mike 🚀
	run: \|
	mike deploy --push ${{ steps.extract_branch.outputs.branch }}

Provide feedback