diff --git a/doc b/doc
index 77250df027..a3858b7b80 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 77250df027b790f3485881e974010fb1df56cfb2
+Subproject commit a3858b7b808a1ce4cf5b8fc20ad8a7dabccd05de