diff --git a/doc b/doc
index 5666bf7d6d..dfc8b1c315 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5666bf7d6d1abad60c83fcdaaf2e43eb92958f77
+Subproject commit dfc8b1c315bd4640e2a82b29df1476a2c133f12c