diff --git a/doc b/doc
index d9540a2226..ba24f206e2 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit d9540a222684ee48118dcfb2b4bce1d6d90a3bf7
+Subproject commit ba24f206e2e05453b27da753e4f2334806fe924b