diff --git a/doc b/doc
index 71060c7c4..ccca4feb4 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 71060c7c458c9260b6e6e7934db49279e656a864
+Subproject commit ccca4feb484593f366ad792b93e85f7aff12b7d4