From 79b66a8668b94403ed4878d3ca8e095f13763e9f Mon Sep 17 00:00:00 2001
From: Bastian Schroll <bastian@schroll-software.de>
Date: Fri, 17 Apr 2020 09:44:00 +0200
Subject: [PATCH] add basic docs build workflow

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

diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
new file mode 100644
index 0000000..7634d46
--- /dev/null
+++ b/.github/workflows/build_docs.yml
@@ -0,0 +1,33 @@
+name: build_docs
+
+#on: push
+on: [push, pull_request]
+  branches:
+  - master
+  - develop
+  paths:
+  - 'docu/**'
+
+jobs:
+
+  build_docs:
+    name: Build documentation
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v1
+
+    - name: Build doxygen
+      uses: mattnotmitt/doxygen-action@v1
+      with:
+        working-directory: './'
+        doxyfile-path: 'docu/doxygen.ini'
+
+    - name: Build mkdocs
+      run: |
+        python -m pip install --upgrade pip
+        pip install mkdocs
+        mkdocs build -f docu/mkdocs.yml
+
+    - name: Upload to docs-server