Update Developer Guides (#3088)

1 files changed, 40 insertions, 0 deletions

diff --git a/.github/workflows/gh-pages-deploy-dev-docs.yml b/.github/workflows/gh-pages-deploy-dev-docs.yml
new file mode 100644
index 00000000..9b4fdb52
--- /dev/null
+++ b/.github/workflows/gh-pages-deploy-dev-docs.yml
@@ -0,0 +1,40 @@
+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