diff --git a/doc b/doc
index 833f27c78a..8e3d57dc86 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 833f27c78a081e4db6ed751feee6102a43ce64da
+Subproject commit 8e3d57dc869385282de26e74ab1baf38b02c8b4d