From 08d8dd51ca8c6b307525b4495ccf0877a7f49874 Mon Sep 17 00:00:00 2001
From: Robin Sommer <robin@corelight.com>
Date: Thu, 21 Sep 2023 09:51:21 +0200
Subject: [PATCH] Add check to docs CI whether Spicy docs are up to date.

---
 .github/workflows/generate-docs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/generate-docs.yml b/.github/workflows/generate-docs.yml
index 73afe681db..f3480f4ac4 100644
--- a/.github/workflows/generate-docs.yml
+++ b/.github/workflows/generate-docs.yml
@@ -84,6 +84,9 @@ jobs:
       - name: Build
         run: cd build && make -j $(nproc)
 
+      - name: Check Spicy docs
+        run: cd doc && make check-spicy-docs
+
       - name: Generate Docs
         run: |
           git config --global user.name zeek-bot