diff --git a/doc b/doc
index 2f14aee921..425ce7933d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2f14aee921e8f7df417423079f9341e1e72c5d7e
+Subproject commit 425ce7933df90afdd34c7d5695b17d44a13ae8a7