diff --git a/doc b/doc
index f7230cfebb..cf41c8c234 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit f7230cfebb1a4df07146ce2a06b31c6a826cbbfa
+Subproject commit cf41c8c234995de78045bdd79dfe78f4fa95a896