diff --git a/doc b/doc
index 5096cd7f22..bca3aa1b9e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5096cd7f22af78bc3124298a6b290b3a6e5d28a7
+Subproject commit bca3aa1b9ecd12c3c201b42005233e1a98590f52