GRRLIB/.github/workflows/doc.yml

name: Documentation

on:
  push:
    branches:
      - master

jobs:

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

    steps:

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

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

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

    - name: Deploy to GitHub Pages
      uses: JamesIves/github-pages-deploy-action@3.6.2
      with:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        BRANCH: gh-pages
        FOLDER: doc