diff --git a/doc b/doc
index 1402e9c5e1..8b8fb7db96 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1402e9c5e1427fe8564e4d1c27528f0ae21376f6
+Subproject commit 8b8fb7db9678d45964db817e6f6b0d5e2dea847f