diff --git a/doc b/doc
index 322b4f7bf4..2731def915 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 322b4f7bf47b4e25e48a9e904ff5da6bfba40e89
+Subproject commit 2731def9159247e6da8a3191783c89683363689c