From e521526cba8e4b6fd4245ab5c186cdaf53ea55a8 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Sat, 3 Feb 2024 00:14:08 +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 15236dd712..00472d7bd6 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 15236dd7124de3367b76f5779990c7b9ae8cb0a8
+Subproject commit 00472d7bd671d94ab55974edf9064cffb974f19c