diff --git a/doc b/doc
index 7897201d57..412a46b035 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 7897201d5765535f9531a77b5fa70793e8b6acd0
+Subproject commit 412a46b035a646f890933de84ac2e7b71c6473a7