diff --git a/doc b/doc
index f0e449eca0..c3ce915021 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit f0e449eca08a24e2dd98182199a21f086a86d632
+Subproject commit c3ce915021ec818c786410d4500fa6de428d590a