diff --git a/doc b/doc
index 1ce37d96e2..7b8c31b46b 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1ce37d96e268134100fbc6793c0c64d48e162337
+Subproject commit 7b8c31b46b35b8143b431a333e1487d6a0427e7f