From 10072b0af13c178aa810412f7adab6461c2d3fde Mon Sep 17 00:00:00 2001
From: "Daniel A. A. Pelsmaeker" <developer@pelsmaeker.net>
Date: Mon, 1 Jul 2024 17:46:12 +0200
Subject: [PATCH] Also build documentation

---
 .github/workflows/documentation.yaml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .github/workflows/documentation.yaml

diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml
new file mode 100644
index 0000000..77c365c
--- /dev/null
+++ b/.github/workflows/documentation.yaml
@@ -0,0 +1,14 @@
+---
+name: 'Documentation'
+
+on:  # yamllint disable-line rule:truthy
+  push:
+    branches:
+      - master
+  workflow_dispatch: {} # Allow running this workflow manually (Actions tab)
+
+jobs:
+  documentation:
+    uses: metaborg/actions/.github/workflows/mkdocs-material.yaml@main
+    with:
+      docs-dir: 'docs'