diff --git a/documentation b/documentation
index 4011e88..8728fbf 160000
--- a/documentation
+++ b/documentation
@@ -1 +1 @@
-Subproject commit 4011e888db6ed31e9dca28519085b42984600189
+Subproject commit 8728fbfc0a8c52ab34d3febe00ca816b8c2a5571