cI; fix release manifest #149

	name: Docs

	on:
	push:
	branches:
	- main
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	# Fetch all branches
	fetch-depth: 0
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.11"
	- name: Set up rust toolchain
	uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: stable
	override: true
	- run: \|
	git config user.name github-actions
	git config user.email [email protected]

	# Sync
	git checkout gh-pages
	git merge -m 'Merge main' main

	# venv required by maturin
	python3 -m venv .venv
	source .venv/bin/activate

	make install-test-requirements
	make install-doc-requirements
	# Required for pdoc to be able to import the sources
	make dev-install
	make doc

	git add -f docs
	git commit -m "Re-generated documentation" --allow-empty
	git push origin gh-pages

Provide feedback