From 6a997af9a1beeee1165bef387c011c593f7adc83 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Wed, 14 Aug 2024 00:16:13 +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 f450f803d3..9f31fb7aac 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit f450f803d3e69cb2fd474a919b7a6c6885f1f433
+Subproject commit 9f31fb7aac77beb77d7c47098d3bf5b98defe3f9