From 61c4aa7d935bdbfd856c9d29fb0de887aff432af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=ABsFot?= <jesfot@gmail.com>
Date: Mon, 16 Nov 2020 00:55:38 +0100
Subject: [PATCH] Add javadoc auto-build on master

---
 .github/workflows/javadoc.yml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 .github/workflows/javadoc.yml

diff --git a/.github/workflows/javadoc.yml b/.github/workflows/javadoc.yml
new file mode 100644
index 000000000..d3b71f032
--- /dev/null
+++ b/.github/workflows/javadoc.yml
@@ -0,0 +1,27 @@
+name: Build and deploy Javadoc
+
+on:
+  push:
+    branches: [master]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up JDK 11
+      uses: actions/setup-java@v1
+      with:
+        java-version: 1.11
+    - name: Build javadoc
+      run: gradle javadoc
+      
+    - name: Deploy javadoc to its assigned branch
+      uses: s0/git-publish-subdir-action@develop
+      env:
+        REPO: self
+        BRANCH: javadoc
+        FOLDER: docs
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}