diff --git a/doc b/doc
index 27f321afb4..240a3d2d8c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 27f321afb47feeffaa4534093d6abfc8e2b220af
+Subproject commit 240a3d2d8cbbfcfd83d7e6a41c648d26ee4790d0