Merge pull request #1184 from RogerSelwyn/minor-docs-change #56

	name: Pages Build

	on:
	push:
	branches: [ "master" ]
	jobs:
	pages_build:
	name: Build Pages
	runs-on: "ubuntu-latest"
	steps:
	- name: "Checkout the repository"
	uses: actions/checkout@v4

	- name: "Set up Python"
	uses: actions/setup-python@v5
	with:
	python-version-file: "pyproject.toml"

	- name: Install uv
	uses: astral-sh/setup-uv@v1
	with:
	version: "latest"

	- name: Install dependencies
	run: uv sync

	- name: "Build pages"
	run: uv run sphinx-build -b html -c ./docs/source/ ./docs/source/ ./docs/latest/

	- name: "Pull any updates"
	shell: bash
	run: git pull

	- name: "Check for changes"
	shell: bash
	run: git status

	- name: "Stage changed files"
	shell: bash
	run: git add ./docs/latest

	- name: "Commit changed files"
	shell: bash
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git commit -m "Update the docs" \|\| true

	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback