diff --git a/doc b/doc
index cda5e706b..a6c7b4d8e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit cda5e706bce7d57817be29f2275e7e23e4e40550
+Subproject commit a6c7b4d8e50b7f741ec31564d61c33c8307e22c5