diff --git a/doc b/doc
index 762add424e..ec1e4e7a9a 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 762add424ee68517ec5fe87b2c16aa9a3453c69d
+Subproject commit ec1e4e7a9ade415ed44ac568b3aabb7b0dc95ef5