diff --git a/doc b/doc
index 076e890618..3b11ba3761 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 076e890618e558e33edd43eed4e1038243d6f6f5
+Subproject commit 3b11ba37611d8bc4ded7702c182e02cb65dfd2bc