diff --git a/doc b/doc
index d26772607c..a9e2358470 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit d26772607ccce042b78febf757229fb7925cac32
+Subproject commit a9e23584701e37d4820fa55c999830c61bd5f1c2