diff --git a/doc b/doc
index 9133d9f242..05709b1779 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 9133d9f242f188cf5c4a91d3ac9b24bd3058e893
+Subproject commit 05709b177952d62893858bb4d2b20f77033c0459