diff --git a/doc b/doc
index 7d7203da38..4d7ca66a7e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 7d7203da384745fce2ca96cf1865c3206aec1262
+Subproject commit 4d7ca66a7e47d3179bf05ca86732582e3a339193