diff --git a/doc b/doc
index 1d1ce638fa..3ecd2d62d0 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1d1ce638fa900d1f21958c0bf050a6ae9d0073b4
+Subproject commit 3ecd2d62d0c369810eef5c6ffaedc17efbff6095