Book

docs: Clean up markdown formatting and modify outdated descriptions #570

	name: Book
	on:
	pull_request:
	push:
	branches:
	- 'main'
	jobs:
	build:
	name: Build book
	runs-on: ubuntu-24.04
	steps:
	- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
	- uses: ./.github/actions/aqua
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	- run: make book
	- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
	with:
	name: book
	path: docs/book
	retention-days: 1
	publish:
	name: Publish book on GitHub Pages
	runs-on: ubuntu-24.04
	needs: build
	steps:
	- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
	with:
	ref: gh-pages
	# ignore helm chart index file and chart archive file.
	- run: ls \| grep -v -E 'index.yaml\|accurate-.*\.tgz' \| xargs rm -rf
	- uses: actions/download-artifact@634f93cb2916e3fdff6788551b99b062d0335ce0 # v5.0.0
	with:
	name: book
	- run: git add .
	- name: Check diff
	run: \|
	diffs=$(git status -s)
	if [ "$diffs" = "" ]; then
	echo "NO_DIFF=1" >> $GITHUB_ENV
	else
	printf "%s\n" "$diffs"
	fi
	- name: Commit changes
	if: env.NO_DIFF != '1'
	run: \|
	git config --global user.name 'Cybozu Neco'
	git config --global user.email '[email protected]'
	git commit -m 'update'
	- name: Push to gh-pages
	if: github.ref == 'refs/heads/main' && env.NO_DIFF != '1'
	run: git push origin gh-pages

Provide feedback