Merge pull request #179 from marquiz/release-0.2 #103

	name: Publish documentation

	on:
	push:
	branches:
	- main
	- release-*
	tags:
	- v*

	concurrency:
	group: gh-pages

	jobs:
	update-gh-pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Install build dependencies
	run: \|
	pip3 install --user -r docs/requirements.txt
	echo "`python3 -m site --user-base`/bin" >> $GITHUB_PATH

	- name: Add docs from this revision to gh-pages
	run: \|
	git config user.name "Github"
	git config user.email "[email protected]"
	./scripts/build/update-gh-pages.sh

	- name: Publish/push to gh-pages
	shell: bash
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git push https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git gh-pages

Provide feedback