diff --git a/doc b/doc
index ef39a55ef0..6857222c8c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit ef39a55ef00382d49459783aa0144ef672b4de97
+Subproject commit 6857222c8c7050c96906757b468cbc1bffb7a807