diff --git a/doc b/doc
index 46257e4286..558142c54d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 46257e4286c993e56dcf21779caf21f7caaed136
+Subproject commit 558142c54d6373bd77ad09f7784fd5d5773694d7