diff --git a/doc b/doc
index 5a385599ce..5d41f93673 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5a385599ce15d07375352bb971d23a5e03a6e3d7
+Subproject commit 5d41f93673ea7948dcd7ca66b171693d9e89d9c8