name: build and deploy documentation

on:
  push:
    branches:
      - master

jobs:
  build-and-deploy:
    runs-on: ubuntu-latest
    container:
      image: gitea.psi.ch/pearl/docs
      credentials:
        username: ${{ gitea.actor }}
        password: ${{ secrets.package_token }}

    steps:
      - name: checkout
        working-directory: /app
        run: |
          git clone --branch master --single-branch https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git
          
      - name: build
        working-directory: /app/pmsco/docs
        run: |
          export REVISION=$(shell git describe --always --tags --dirty --long || echo "unknown, "`date +"%F %T %z"`)
          export OUTDIR=/app/build
          doxygen config.dox

      - name: configure git
        working-directory: /app/pmsco
        run: |
          git config --global user.name "Gitea Actions"
          git config --global user.email "actions@gitea.local"
          
      - name: push to gitea-pages
        working-directory: /app/pmsco
        run: |
          git checkout --orphan gitea-pages
          git reset --hard
          cp -r /app/build/html/* .
          git add .
          git commit -m "Deploy documentation to gitea"
          git push -f https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git gitea-pages