diff --git a/doc b/doc
index 45eb7b074a..ce5f428beb 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 45eb7b074ab777147edc0681fbb7f9ce6b983875
+Subproject commit ce5f428bebfa8eda2514bfa0e034528752585e8e