Merge pull request #1019 from carapace-sh/doc-rm-introduction #294

	name: Doc

	on:
	push:
	branches:
	- 'master'

	jobs:
	doc:
	runs-on: ubuntu-latest
	container: ghcr.io/carapace-sh/carapace
	steps:
	- uses: actions/checkout@v4

	- uses: actions/cache@v4
	with:
	key: linkcheck
	path: docs/book/linkcheck

	- name: "build docs"
	run: \|
	mdbook build docs

	- name: "push gh-pages"
	if: github.ref == 'refs/heads/master'
	run: \|
	cd docs/book/html/
	git init
	git config user.name rsteube
	git config user.email [email protected]
	git add .
	git commit -m "initial commit [ci skip]"
	git push --force https://rsteube:${GITHUB_TOKEN}@github.com/carapace-sh/carapace.git master:gh-pages
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback