diff --git a/doc b/doc
index e82276152d..0a9443a2ab 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit e82276152dd8192f93dceb12ca464ee21217639c
+Subproject commit 0a9443a2abccf7de4107b0570f7566d5ced91e9d