diff --git a/.github/workflows/devdocs.yml b/.github/workflows/devdocs.yml
new file mode 100644
index 00000000..15946bf8
--- /dev/null
+++ b/.github/workflows/devdocs.yml
@@ -0,0 +1,19 @@
+name: DevDocs
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+  build_devdocs:
+    name: Build DevDocs
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: xu-cheng/texlive-action@v2
+        with:
+          scheme: small
+          run: |
+            bash scripts/devdocs.sh
diff --git a/scripts/devdocs.sh b/scripts/devdocs.sh
new file mode 100644
index 00000000..5c1227fc
--- /dev/null
+++ b/scripts/devdocs.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+FORESTER_VERSION=4.1.0
+SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null
+
+cd SCRIPT_DIR
+tar -xf forester-$FORESTER_VERSION.tar.gz
+cd ..
+cd devdocs
+../scripts/forester build
diff --git a/scripts/forester-4.1.0.tar.gz b/scripts/forester-4.1.0.tar.gz
new file mode 100644
index 00000000..b25ac898
Binary files /dev/null and b/scripts/forester-4.1.0.tar.gz differ