diff --git a/doc b/doc
index 181747ff66..0223a017c0 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 181747ff660c327ea0bc170d31a11fc180b88a51
+Subproject commit 0223a017c058fa18bb1679b9bca790a39a3ae996