diff --git a/doc b/doc
index 880f039845..1f843bcd07 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 880f039845ab87be7674a287718851c899369443
+Subproject commit 1f843bcd074e8b72da60c0d1519b90e5ee110365