diff --git a/doc b/doc
index 88fb9e1..25bfd51 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 88fb9e13fc4e9f92ec6a9ad2f5005e142d5ae678
+Subproject commit 25bfd5114cf9872e2ba014ae853e1ef6e16a4448