From f7bd2ce1a5ef194643b078bd11a90fdf9b389c2b Mon Sep 17 00:00:00 2001
From: Ignat Beresnev <ignat.beresnev@jetbrains.com>
Date: Fri, 4 Aug 2023 18:59:28 +0200
Subject: Update Developer Guides (#3088)

---
 .github/workflows/gh-pages-deploy-dev-docs.yml | 40 ++++++++++++++++++++++++++
 .github/workflows/gh-pages-deploy-mkdocs.yml   | 40 --------------------------
 2 files changed, 40 insertions(+), 40 deletions(-)
 create mode 100644 .github/workflows/gh-pages-deploy-dev-docs.yml
 delete mode 100644 .github/workflows/gh-pages-deploy-mkdocs.yml

(limited to '.github/workflows')

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
diff --git a/.github/workflows/gh-pages-deploy-mkdocs.yml b/.github/workflows/gh-pages-deploy-mkdocs.yml
deleted file mode 100644
index b212f55b..00000000
--- a/.github/workflows/gh-pages-deploy-mkdocs.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-name: Deploy MkDocs to GitHub Pages
-
-on:
-  push:
-    branches:
-      - master
-    paths:
-      - 'mkdocs/**'
-  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/mkdocs/build/mkdocs
-          keep_files: true
-          full_commit_message: Publish ${{ env.DOKKA_VERSION }} documentation
-- 
cgit