diff --git a/doc b/doc
index 0639fbb0b8..3b7c87c2e6 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 0639fbb0b865611ee301c0b8f40cb14ea51a560f
+Subproject commit 3b7c87c2e6463003a5e757ca87c3c16d06fd7abb