diff --git a/doc b/doc
index a2cde69510..70dca87373 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a2cde6951042159ac20c292237b2ef53d5137575
+Subproject commit 70dca87373ad807042fd9339c1fc1c083c2a3c86