diff --git a/doc b/doc
index f450f803d3..9f31fb7aac 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit f450f803d3e69cb2fd474a919b7a6c6885f1f433
+Subproject commit 9f31fb7aac77beb77d7c47098d3bf5b98defe3f9