diff --git a/Documentation b/Documentation
index a0cc26a6e6c..9eb56ca855d 160000
--- a/Documentation
+++ b/Documentation
@@ -1 +1 @@
-Subproject commit a0cc26a6e6cd33bc1729c8fc454695a3462ebc99
+Subproject commit 9eb56ca855d0f3491255d31480abedc0e9607f47