name: build and deploy documentation

on:
  push:
    branches:
      - distro

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 distro --single-branch https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git igor-procs
          
      - name: build
        working-directory: /app/igor-procs/doc
        run: |
          REVISION=$(git describe --always --tags --dirty --long || date +"%F %T %z")
          export REVISION
          doxygen config.dox
          mv html/ /app/

      - name: configure git
        working-directory: /app/igor-procs
        run: |
          git config --global user.name "Gitea Actions"
          git config --global user.email "actions@gitea.local"
          
      - name: push to gitea-pages
        working-directory: /app/igor-procs
        run: |
          git checkout --orphan gitea-pages
          git reset --hard
          cp -r /app/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