diff --git a/doc b/doc
index a071940251..859234548b 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a07194025110e36fe7255afb5edc16e921a8bb95
+Subproject commit 859234548b54dc271f42355206080ab838d00ed3