diff --git a/doc b/doc
index 7c761a6549..7d7203da38 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 7c761a65490563681fec374a684b1bde632851ca
+Subproject commit 7d7203da384745fce2ca96cf1865c3206aec1262