diff --git a/doc b/doc
index 6bcc7c3e12..207e7c225b 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 6bcc7c3e125e0bef4352d44a57ded9e9e9fc3775
+Subproject commit 207e7c225bb1ee7e7404341e416544ac18c9a016