diff --git a/doc b/doc
index 5d28047f8c..07c1592967 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5d28047f8c2f8c52736f711cb04e21c8c8684653
+Subproject commit 07c1592967a6fa722ddb26488e70aa75a76bc1e1