diff --git a/doc b/doc
index 0a0a025989..db862cf8e4 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 0a0a025989afbbaac46f6cd698f84ac5debcd862
+Subproject commit db862cf8e45ccb564b138706415dc5ff02c371a9