From 4b369bad2d1b83beaaf276450538e3081c8547ea Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Wed, 21 Aug 2024 00:14:27 +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 2f14aee921..425ce7933d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2f14aee921e8f7df417423079f9341e1e72c5d7e
+Subproject commit 425ce7933df90afdd34c7d5695b17d44a13ae8a7