From 4d27793f13a921888a1b8c991511e705f5379fde Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Sat, 17 Oct 2020 00:33:24 +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 dfc8b1c315..c5c73eaf52 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit dfc8b1c315bd4640e2a82b29df1476a2c133f12c
+Subproject commit c5c73eaf52d481cee6ff180f1aa6edb75eb11e9e