diff --git a/doc b/doc
index 3b11ba3761..8986afb25d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3b11ba37611d8bc4ded7702c182e02cb65dfd2bc
+Subproject commit 8986afb25df417143211ff58f752d2d5394aeb24