diff --git a/doc b/doc
index d7f7db1362..558f8aa7ff 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit d7f7db1362be23dfd866f8124e784fd1d3599e18
+Subproject commit 558f8aa7ffcd4bb1dd7fbbfb9ce77c5d672bd431