diff --git a/doc b/doc
index fc15fea160..b7ad1dd0a2 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit fc15fea160a40c88ca9868a21203097b3a2b9b71
+Subproject commit b7ad1dd0a2bc470f939c47779462ba0b7d7428b5