docs.yaml

# Build documentation and commit to gh-pages branch.

name: Build and Push Documentation to gh-pages Branch

on:
  push:
    branches: ['develop']
  workflow_dispatch:
    branches: ['develop']

jobs:
  build_and_push_docs:
    runs-on: ubuntu-20.04

    steps:
    - name: Checkout
      uses: actions/checkout@v3
      with:
        path: repo/
    - name: Checkout gh-pages
      uses: actions/checkout@v3
      with:
        path: docs/
        ref: gh-pages
    - name: Install dependencies
      run: |
        sudo apt-get install -y bison
        sudo apt-get install -y flex
        sudo apt-get install -y graphviz
        sudo apt-get install -y python-setuptools
    - name: Install doxygen
      run: |
        wget 'https://sourceforge.net/projects/doxygen/files/rel-1.8.20/doxygen-1.8.20.src.tar.gz'
        tar -zxvf doxygen-1.8.20.src.tar.gz
        cd doxygen-1.8.20
        mkdir build
        cd build
        cmake -G "Unix Makefiles" ..
        make
        sudo make install
    - name: Build Documentation
      run: |
        cd repo
        doxygen isaac.doxyfile
    - name: Replace old documentation with new
      run: |
        rm -r docs/html
        cp -r repo/doc/html docs
    - name: Commit and Push
      run: |
        cd docs
        git add --all html/
        EMAIL=`git show -s --format='%ae' HEAD`
        NAME=`git show -s --format='%an' HEAD`
        git config user.email "$EMAIL"
        git config user.name "$NAME"
        { git commit -m "Automatic update for $GITHUB_SHA." || true; }
        git push origin gh-pages