documentation.yml

name: "Build documentation"

on: [push, pull_request]

jobs:
  
  docs:
    
    runs-on: ubuntu-latest

    env:
      GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
    
    steps:
      
      - uses: actions/checkout@v2.3.4

      - uses: actions/setup-python@v2.2.1
        with:
          python-versions: 3.9

      - run: |
          python -m pip install -U sphinx
          python -m pip install sphinx-rtd-theme

      - run: |
          make -C doc clean
          make -C doc html

      - run: |
          cd doc/_build/html/
          git init
          touch .nojekyll
          git add -A
          git config --local user.email "action@github.com"
          git config --local user.name "GitHub Action"
          git commit -m 'deploy'

      - uses: ad-m/github-push-action@v0.6.0
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          branch: gh-pages
          force: true
          directory: ./doc/_build/html