diff --git a/doc b/doc
index bceb0f6035..42a8c7a028 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit bceb0f6035cb1b98f6f2d9649e2fe67bba4f3999
+Subproject commit 42a8c7a0286ca0610eb0a3cdc8cb74d06b3c0557