diff --git a/doc b/doc
index 024d1ecc95..ebc8450955 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 024d1ecc95195fc7e6f229f3c3b5a921e9c7de00
+Subproject commit ebc8450955fafa859932bd06cac85d828c772d3e