diff --git a/doc b/doc
index 1f5ee7fb..86aa3c80 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1f5ee7fb1dab540e3ff22bf3b2f592e3c5611bde
+Subproject commit 86aa3c808222c351c4bf0f9a391fc4f82d58b744