docs.yml

name: Docs

on:
  push:
    branches: [main]
    paths:
      - "docs/**"
      - "mkdocs.yml"
      - "requirements-docs.txt"
      - "README.md"
      - "CHANGELOG.md"
      - "CONTRIBUTING.md"
      - "CNAME"
  workflow_dispatch:

permissions:
  contents: write

concurrency:
  group: docs-deploy
  cancel-in-progress: false

jobs:
  deploy:
    name: Build and deploy docs
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v7
        with:
          fetch-depth: 0

      - uses: actions/setup-python@v6
        with:
          python-version: "3.11"
          cache: pip

      - name: Install docs dependencies
        run: |
          pip install -r requirements-docs.txt
          pip install -e "."

      - name: Configure git for gh-deploy
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "github-actions[bot]@users.noreply.github.com"

      - name: Assemble docs build directory
        run: |
          BUILD=.docs_build
          mkdir -p $BUILD

          if [ -d docs ]; then cp -r docs $BUILD/docs; fi

          for fname in README.md CHANGELOG.md CONTRIBUTING.md CNAME; do
            if [ -f "$fname" ]; then cp "$fname" "$BUILD/$fname"; fi
          done

          echo "Build dir contains $(find $BUILD -type f | wc -l) files"

      - name: Generate build config
        run: |
          sed 's|^docs_dir: \.$|docs_dir: .docs_build|' mkdocs.yml > .mkdocs_build.yml

      - name: Build and deploy to GitHub Pages
        run: mkdocs gh-deploy --force --clean --config-file .mkdocs_build.yml