doc: update mdbook version #20

	name: Publish-GithubPages

	on:
	push:
	branches:
	- docs
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	# Allow one concurrent deployment
	concurrency:
	group: pages
	cancel-in-progress: true

	env:
	CARGO_TERM_COLOR: always
	# Update the language picker in index.hbs to link new languages.
	LANGUAGES: zh

	jobs:
	publish:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: ./docs
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Install Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: stable

	- name: Install mdbook
	uses: ./.github/workflows/install-mdbook

	- name: Build course in English
	run: mdbook build -d $GITHUB_WORKSPACE/book

	- name: Build all translations
	run: \|
	for po_lang in ${{ env.LANGUAGES }}; do
	echo "::group::Building $po_lang translation"
	MDBOOK_BOOK__LANGUAGE=$po_lang \
	MDBOOK_OUTPUT__HTML__SITE_URL=/ezlog/$po_lang/ \
	mdbook build -d $GITHUB_WORKSPACE/book/$po_lang
	echo "::endgroup::"
	done

	- name: Setup Pages
	uses: actions/configure-pages@v2

	- name: Upload artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: ${{ github.workspace }}/book

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v1

Provide feedback