diff --git a/doc b/doc
index 0098a94ff7..aa9212ce2b 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 0098a94ff7a6bc608af1c79232b3390672499867
+Subproject commit aa9212ce2bb0f2b5d985c2fbcd69c70ea9906f1c