name: Deploy developer docs to GitHub Pages

on:
  push:
    branches:
      - master
    paths:
      - 'docs-developer/**'
  release:
    types: [ published ]

jobs:
  docs:
    if: github.repository == 'Kotlin/dokka'
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
        with:
          path: dokka
      - uses: actions/setup-java@v3
        with:
          distribution: 'zulu'
          java-version: 17
          cache: 'maven'
      - uses: gradle/gradle-build-action@v2
        with:
          gradle-home-cache-cleanup: true
      - name: Get current Dokka version
        run: echo "DOKKA_VERSION=`./gradlew :properties | grep '^version:.*' | cut -d ' ' -f 2`" >> $GITHUB_ENV
        working-directory: ./dokka
      - name: Build docs
        run: ./gradlew mkdocsBuild -Pdokka_version=$DOKKA_VERSION --info
        working-directory: ./dokka
      - name: Deploy
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./dokka/docs-developer/build/mkdocs
          keep_files: true
          full_commit_message: Publish ${{ env.DOKKA_VERSION }} documentation