diff --git a/doc b/doc
index 02ca7efad6..c9fe83006e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 02ca7efad63e8dfeaf637de8caaf84cb0444a2cd
+Subproject commit c9fe83006ec78aba9bfe2132265a7ab9e18d918c