diff --git a/doc b/doc
index 613dd0d..e71feb5 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 613dd0d4cd8488b9150f55bda9db6e3ffff97b05
+Subproject commit e71feb500c6776868c760d4b0d5abbb451a35c65