diff --git a/doc b/doc
index b4d148c..88fb9e1 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit b4d148c039007256bb31550f9b811bdd2df64df1
+Subproject commit 88fb9e13fc4e9f92ec6a9ad2f5005e142d5ae678