diff --git a/doc b/doc
index 2d35a0d90c..25c0805d35 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2d35a0d90c249dc60ecdeb77b25754381f876e57
+Subproject commit 25c0805d35e063403e9a4de5db89d59a4ef02c88