diff --git a/doc b/doc
index 854d184110..c6a93225ed 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 854d18411042898c8da9ffd14d566de4f6d6bdcb
+Subproject commit c6a93225ed2c5644d9caa167e4e36cab26c5d10b