generate_docs.yml

# Automatic generation of documentation will be copied and checked into the 
# gh-pages branch.
name: Documentation generation CI

on:
  push:
    branches-ignore:
      - 'gh-pages'
    tags: []

  pull_request:
    branches-ignore:
      - 'gh-pages'

jobs:
  build:
    name: Build
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v3

      - name: Generate PDF documentation
        with:
          working-directory:'.'
        run: |
          cd doc
          dblatex -s texstyle.sty mobilitydb-workshop.xml

      # store the doc files
      - name: Upload Output Directory
        uses: actions/upload-artifact@v2
        with:
          name: doc-files
          path: doc
          retention-days: 1


  copy:
    name: Build
    runs-on: ubuntu-latest
    needs: build

    steps:
      # checkout the gh-pages branch
      - uses: actions/checkout@v3
        with:
        ref: gh-pages

      # download the doc files, most of which are generated above
      - name: Download Output Directory
        uses: actions/download-artifact@v2
        with:
        name: doc-files
        path: doc

      # add, commit and push to gh-pages
      - name: Commit changes
        uses: EndBug/add-and-commit@v7
        with:
        message: 'Update docs'
        branch: gh-pages
        add: '["doc/mobilitydb-workshop.pdf"]'