diff --git a/doc b/doc
index 4930b7d5c6..854d184110 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 4930b7d5c6a175a60bd6d358b4841ea606cc4131
+Subproject commit 854d18411042898c8da9ffd14d566de4f6d6bdcb