Add deployment step for Javadoc to GitHub Pages (instead of deploy from branch)

Author: SableRaf

.github/workflows/build-and-deploy-javadoc.yml

@@ -114,3 +114,21 @@ jobs:
         fi
       env:
         PAT_TOKEN: ${{ secrets.PAT_TOKEN }}
+
+  deploy-javadoc:
+    runs-on: ubuntu-latest
+    needs: commit-javadoc
+
+    steps:
+    - name: Checkout gh-pages branch
+      uses: actions/checkout@v3
+      with:
+        repository: processing/processing4-javadocs
+        ref: gh-pages
+        fetch-depth: 0
+
+    - name: Deploy to GitHub Pages
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./docs