diff --git a/doc b/doc
index 09b610c72c..9571e9202d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 09b610c72cdc8f460d87b689eaa8487cecc84e0c
+Subproject commit 9571e9202d6cb780c4123d2897d0ba973746e0e2