update doc #9

	name: Deploy
	on:
	push:
	branches:
	- master

	jobs:
	deploy:
	runs-on: ubuntu-latest
	permissions:
	contents: write # To push a branch
	pages: write # To push to a GitHub Pages site
	id-token: write # To update the deployment status
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Install mdbook and plugins
	uses: actions-rs/cargo@v1
	with:
	command: install
	args: mdbook mdbook-toc
	- name: Build Book
	run: \|
	# This assumes your book is in the root of your repository.
	# Just add a `cd` here if you need to change to another directory.
	mdbook build
	- name: Deploy
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./book
	# This allows you to make your publish branch with only the latest commit.
	force_orphan: true

Provide feedback