deploy.yml

name: Deploy mdBook to GitHub Pages

on:
  push:
    branches: ["main"]
  workflow_dispatch:

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

concurrency:
  group: "pages"
  cancel-in-progress: true

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4

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

      # Install mdBook via cargo
      - name: Install mdBook
        run: cargo install mdbook

      - name: Configure Pages
        id: pages
        uses: actions/configure-pages@v5

      - name: Build
        run: mdbook build

      - name: Generate sitemap.xml
        shell: bash
        run: |
          set -euo pipefail
          BOOK_DIR="book"
          BASE_URL="${{ steps.pages.outputs.base_url }}"
          BASE_URL="${BASE_URL%/}"
          OUT="$BOOK_DIR/sitemap.xml"

          {
            echo '<?xml version="1.0" encoding="UTF-8"?>'
            echo '<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">'
          } > "$OUT"

          find "$BOOK_DIR" -name "*.html" \
            | sed "s|^$BOOK_DIR||" \
            | sed 's|/index.html$|/|' \
            | sed 's|\.html$||' \
            | sort -u \
            | while read -r path; do
                printf '  <url><loc>%s</loc></url>\n' "$BASE_URL$path" >> "$OUT"
              done

          echo '</urlset>' >> "$OUT"

      - name: Upload artifact
        uses: actions/upload-pages-artifact@v3
        with:
          path: ./book

  deploy:
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}
    runs-on: ubuntu-latest
    needs: build
    steps:
      - name: Deploy to GitHub Pages
        id: deployment
        uses: actions/deploy-pages@v4