diff --git a/doc b/doc
index 0027847313..a9b9f50be3 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 002784731395c0652a2b2cfaca1a3097ee941ec1
+Subproject commit a9b9f50be3c0740010e25f61767a1ad5729dcb6e