diff --git a/doc b/doc
index 1873d6a4c6..10ce2df2a4 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1873d6a4c601751635c9b40c1309005da39ae480
+Subproject commit 10ce2df2a4f01930a1317e5fcc6e64e349ad1e4f