diff --git a/doc b/doc
index 2b7c190a64..df3ea0dd36 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2b7c190a64344f51844ddcfa202bb9ceebd11aed
+Subproject commit df3ea0dd36a5ae5b9d81bb6225ce652efc6ab969