diff --git a/doc b/doc
index 687f89dfb7..c3b1ccd4f9 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 687f89dfb72889d3d41eb85cdea313e950a8b86f
+Subproject commit c3b1ccd4f97030f72b1addd0b76332b92216eb9d