Initial version of documentation generator

.github/workflows/generate-documentation.yml

@@ -0,0 +1,17 @@
+name: Generate documentation
+on:
+  push:
+    paths:
+    - 'documentation-tools/**'
+    - DOCUMENTATION.md
+
+jobs:
+  generate:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          ref: gh-pages
+      - name: Run generator
+        run: documentation-tools/generate.py
+