diff --git a/doc b/doc
index 78bb7c7005..a2cde69510 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 78bb7c7005a59d865540c8e1189aa0637894a627
+Subproject commit a2cde6951042159ac20c292237b2ef53d5137575