diff --git a/doc b/doc
index d583c2abfe..858dd108b1 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit d583c2abfe2610695e5f3048a95ec87db5ccba82
+Subproject commit 858dd108b10a7d88852e01dc0134d6c0032f3c60