diff --git a/doc b/doc
index cf113b72a0..f55e580e77 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit cf113b72a056908fff74988926ad4c85e995b074
+Subproject commit f55e580e77131155bc03c808b5b5fbf2e1a706b3