diff --git a/docs b/docs
index 814d2986..a5816053 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 814d2986e916fe4307a05fa0e5058fe986875534
+Subproject commit a5816053148c7e775e548aaa65f7b11798cef9d9