From 7a73c73687c303493c690a93885f7c143fd6a1cc Mon Sep 17 00:00:00 2001
From: Janis Hutz <development@janishutz.com>
Date: Mon, 22 Dec 2025 18:19:27 +0100
Subject: [PATCH] [CI] Add docs auto-build

---
 .gitea/workflows/build-docs.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 .gitea/workflows/build-docs.yml

diff --git a/.gitea/workflows/build-docs.yml b/.gitea/workflows/build-docs.yml
new file mode 100644
index 0000000..c00898f
--- /dev/null
+++ b/.gitea/workflows/build-docs.yml
@@ -0,0 +1,22 @@
+name: Build docs
+on:
+  push:
+    paths:
+      - 'docs/**'
+jobs:
+  build_docs:
+    runs_on: ubuntu-latest
+    steps:
+      - name: Set up Git repository
+        uses: actions/checkout@v6
+      - name: Run build
+        use: actions/latex
+        with:
+          args: "-latexoption=-file-line-error -latexoption=-interaction=nonstopmode docs/docs.tex"
+      - name: Upload compiled helpers
+        uses: actions/git-auto-commit-action@v7
+        with:
+          commit_message: "[skip ci] Build helpers on push"
+          file_pattern: '*.tex'
+          commit_user_name: Helpers compiler [bot]
+          commit_user_email: actions@janishutz.com