diff --git a/doc b/doc
index 218907b650..d3a5f3ca9c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 218907b6500d627904f6ba0767f7ba362bf825f7
+Subproject commit d3a5f3ca9ca54f126a149bbe2bd9c7422d80b107