diff --git a/doc b/doc
index ce5f428beb..f3f85f68ec 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit ce5f428bebfa8eda2514bfa0e034528752585e8e
+Subproject commit f3f85f68ecec844e5770900aa871361627451ae1