diff --git a/doc b/doc
index 9c204e8133..ededf7c431 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 9c204e8133cc5f1a81341c172105dda189acdac3
+Subproject commit ededf7c431623ddd62e0c7cb02e9e581a9aeb63b