diff --git a/doc b/doc
index 84c1c68ea2..0f00563922 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 84c1c68ea23532be8f828ddda69f0b8e0c28cf29
+Subproject commit 0f00563922327c340dd15bde777f1c33378460f4