diff --git a/doc b/doc
index 4aac8cf18b..6d25a976b6 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 4aac8cf18b6a2736ee3a2087727bc57cff3571f4
+Subproject commit 6d25a976b627ff0efe776d8efde7aa3115d30fbc