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