diff --git a/documentation b/documentation
index c4e5cb78a9..3917fa57e4 160000
--- a/documentation
+++ b/documentation
@@ -1 +1 @@
-Subproject commit c4e5cb78a926da417c4c0a3cbba779ffca35a447
+Subproject commit 3917fa57e47503e30e20d4059be9b54b729a5ea2