diff --git a/doc b/doc
index 55bcf269d2..d31c26f983 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 55bcf269d28ad5a27bfce4450616409abce8a7a4
+Subproject commit d31c26f983c248098578d65a8dc96707871bb45d