diff --git a/doc b/doc
index 558f8aa7ff..0f87da3fde 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 558f8aa7ffcd4bb1dd7fbbfb9ce77c5d672bd431
+Subproject commit 0f87da3fde040911e64dd89b2203e991b7b99126