diff --git a/doc b/doc
index 9571e9202d..41fbcde395 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 9571e9202d6cb780c4123d2897d0ba973746e0e2
+Subproject commit 41fbcde395e804c1e0938b5d7022215cebd50758