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