generate-docs.yml

name: generate-docs

on:
  push:
    branches:    
      - master

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v4
    # Standard drop-in approach that should work for most people.
    - uses: ammaraskar/sphinx-action@master
      with:
        pre-build-command: "make clean"
        build-command: "make html"
        docs-folder: "docs/"

    - name: Commit documentation changes
      run: |
        git clone https://github.com/matteemol/dbSketcher.git --branch main --single-branch main
        cp -r docs/build/html/* built-docs/
        cd gh-pages
    #    touch .nojekyll
        git config --local user.email "action@github.com"
        git config --local user.name "GitHub Action"
        git add .
        git commit -m "Update documentation" -a || true
        # The above command will fail if no changes were present, so we ignore
        # that.
    - name: Push changes
      uses: ad-m/github-push-action@master
      with:
        branch: main
        directory: built-docs
        github_token: ${{ secrets.GITHUB_TOKEN }}
    # ===============================