From 60bdaffe0b2c00fe0d22b8bb8702c88b2ba4f12a Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Wed, 7 Aug 2024 00:20:16 +0000
Subject: [PATCH] Update doc submodule [nomail] [skip ci]

---
 doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc b/doc
index 2d35a0d90c..25c0805d35 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2d35a0d90c249dc60ecdeb77b25754381f876e57
+Subproject commit 25c0805d35e063403e9a4de5db89d59a4ef02c88