diff --git a/doc b/doc
index 412a46b035..4bd4cf0233 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 412a46b035a646f890933de84ac2e7b71c6473a7
+Subproject commit 4bd4cf0233ba4d7585ce664f686eb4aff5ccb8dc