From b32a75aa174d34a6e9b3f238271cdb6e87076ed9 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Tue, 8 Jun 2021 00:45:28 +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 087891e07d..25ca874d38 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 087891e07d20d1d28a50af2cb22ca4aa0e7f829f
+Subproject commit 25ca874d38a103858937e50d7937a82d322cb5f0