diff --git a/doc b/doc
index 8c19fb230a..03a7e8f413 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 8c19fb230ae9e1e1ddb6b7e6cafcee9e5415c8c7
+Subproject commit 03a7e8f413702ef638c74a7e43d85bbc6926d86c