diff --git a/doc b/doc
index 6f136ea331..2625284519 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 6f136ea331e30e87f91476f96c3a2d494e5e8c92
+Subproject commit 2625284519b6e1f5dca72c10232a5ce8e0aebb55