fix: deploy correct mdbook output directory (book/html) #4

	name: Deploy Documentation

	on:
	push:
	branches: [ main ]
	paths:
	- 'docs/**'
	- '.github/workflows/deploy-docs.yml'
	workflow_dispatch:

	jobs:
	deploy:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- uses: actions/checkout@v4

	- name: Setup Rust
	uses: dtolnay/rust-toolchain@stable

	- name: Cache cargo registry
	uses: actions/cache@v3
	with:
	path: ~/.cargo/registry
	key: ${{ runner.os }}-cargo-registry-${{ hashFiles('**/Cargo.lock') }}

	- name: Cache cargo index
	uses: actions/cache@v3
	with:
	path: ~/.cargo/git
	key: ${{ runner.os }}-cargo-index-${{ hashFiles('**/Cargo.lock') }}

	- name: Install mdBook
	run: \|
	cargo install mdbook --version ^0.4 --locked
	cargo install mdbook-katex --version ^0.5 --locked

	- name: Build book
	run: mdbook build

	- name: Add .nojekyll
	run: touch book/html/.nojekyll

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@v3
	if: github.ref == 'refs/heads/main'
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./book/html

Provide feedback