diff --git a/doc b/doc
index 3cd0dd2315..4e2413e2fb 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3cd0dd2315663b0dcb38ac30b874492fd5071e6b
+Subproject commit 4e2413e2fb2f98298430b3e2cb384fc5f18cbde4