diff --git a/doc b/doc
index fae386bb07..c4d20457e5 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit fae386bb071ef1da7a29412c70069b9b0f859a6d
+Subproject commit c4d20457e5ec942b8b71546f30db141b2ccd9e9c