diff --git a/doc b/doc
index 8a0873c710..4ca7edab6d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 8a0873c71095136ef1f611a01bf936f7a2805aed
+Subproject commit 4ca7edab6d9becde22367990381f19c917a25703