diff --git a/doc b/doc
index 37dd3b766a..da17930a85 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 37dd3b766a4ed800276fa3db7edc338e5afc4142
+Subproject commit da17930a85108bb4e22b012ed4aecfae93e512de