docs #26

	name: docs

	on: [workflow_dispatch]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- uses: actions/checkout@v4
	with:
	ref: gh-pages
	path: gh-pages

	- uses: extractions/setup-crate@v1
	with:
	owner: rust-lang
	name: mdBook

	- uses: extractions/setup-crate@v1
	with:
	owner: Michael-F-Bryan
	name: mdbook-linkcheck

	- name: Build
	run: \|
	mdbook build docs
	cp -R docs/book/html/* gh-pages/

	- name: Calculate Git short SHA
	id: git
	run: echo "::set-output name=short_sha::$(git rev-parse --short HEAD)"

	- name: Git commit
	run: \|
	cd gh-pages
	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add .
	git commit -m "publish docs for ${{ steps.git.outputs.short_sha }}"
	git push
	cd -

Provide feedback