name: Documentation

on:
  push:
    branches:
      - master

jobs:

  doc:
    name: Deploy documentation
    runs-on: ubuntu-22.04

    steps:

    - name: Checkout the Git repository
      uses: actions/checkout@v3

    - name: Install doxygen
      run: |
        sudo apt-get update
        sudo apt-get install doxygen doxygen-latex graphviz

    - name: Generate documentation
      run: |
        doxygen grrlib.doxygen >/dev/null
        make --directory=latex >/dev/null
        touch html/.nojekyll
        mv latex/refman.pdf html/PDF-documentation.pdf

    - name: Deploy to GitHub Pages
      uses: JamesIves/github-pages-deploy-action@v4.3.3
      with:
        branch: gh-pages
        folder: html