diff --git a/doc b/doc
index 085d338a51..1e5a6cc3cb 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 085d338a51bbbc97de3ee89d409ba628396bc48c
+Subproject commit 1e5a6cc3cb4e6751cbc81d173d04f7f05eb6df90