diff --git a/doc b/doc
index 087891e07d..25ca874d38 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 087891e07d20d1d28a50af2cb22ca4aa0e7f829f
+Subproject commit 25ca874d38a103858937e50d7937a82d322cb5f0