From 04b8dc5341329fb4aaf330924ebc9f537036e02c Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Fri, 16 Oct 2020 00:40:37 +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 5666bf7d6d..dfc8b1c315 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5666bf7d6d1abad60c83fcdaaf2e43eb92958f77
+Subproject commit dfc8b1c315bd4640e2a82b29df1476a2c133f12c