diff --git a/doc b/doc
index 0f87da3fde..128567a1f2 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 0f87da3fde040911e64dd89b2203e991b7b99126
+Subproject commit 128567a1f29ac4a1cf705b38ba2b2b5d3705cddb