diff --git a/doc b/doc
index 6dd820e61a..84309019e5 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 6dd820e61ac232825a8f5cb16b9a4492a12abab9
+Subproject commit 84309019e5ad3b635c4a96c2bea8b9b0a3d21279