diff --git a/doc b/doc
index a5b72de20a..8e80d969b5 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a5b72de20a6bafc738aab9027ad76f059c5a7601
+Subproject commit 8e80d969b5fdbb2d669c358e7864d7b232aad47b