gh-pages.yml

name: GitHub Pages

on:
  push:
    branches:
    - 'master'
  pull_request:
    branches:
      - 'master'

jobs:
  docs:
    name: "Deploy"
    runs-on: ubuntu-latest
    env:
      working-directory: ./doc

    steps:
      - uses: actions/checkout@main
      - name: Dependencies
        run: |
          sudo apt update
          sudo apt install -y xsltproc doxygen doxygen-doc texlive ghostscript graphviz python3-wheel python3-setuptools
          pip3 install --upgrade Jinja2
          pip3 install --user mkdocs mkdocs-material mkdocs-video pymdown-extensions
          pip3 install --upgrade pygments
          echo "${HOME}/.local/bin" >> ${GITHUB_PATH}

      - name: Configure Git
        run: |
          git config --global push.default upstream
          git config --global user.name "GitHub Actions"
          git config --global user.email "actions@github.com"
          git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git

      - name: Get YARP XSL interpreter
        run: |
          cd ${GITHUB_WORKSPACE}
          git clone --depth 1 --branch master https://github.com/robotology/yarp.git
          echo "YARP_SOURCE_DIR=${GITHUB_WORKSPACE}/yarp" >> ${GITHUB_ENV}

      - name: Build Doxygen
        run: |
          cd doxygen
          ./doc-compile.sh
        working-directory: ${{ env.working-directory }}

      - name: Build Mkdocs
        run: |
          cd mkdocs
          ./site-compile.sh
        working-directory: ${{ env.working-directory }}

      - name: Create and prepare gh-pages anew
        run: |
          git checkout --orphan gh-pages
          rm -R `ls -A | grep -v -E "^(.git|doc)$"`
          mv doc/mkdocs/site/* ./

      - name: Commit and push
        if: github.event_name == 'push'
        run: |
          git add .
          git commit -m "Publish site"
          git push --force --set-upstream origin gh-pages