diff --git a/doc b/doc
index a78c6c3e23..f450f803d3 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a78c6c3e23d758c67d065010e7ebe173fa3fe4b0
+Subproject commit f450f803d3e69cb2fd474a919b7a6c6885f1f433