diff --git a/doc b/doc
index 15784a174b..a840cea13e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 15784a174b8f9d68218c1e5db48f75257f431174
+Subproject commit a840cea13e7c21951079422d6ec8971fb6812b06