diff --git a/docs b/docs
index 12e20efc..5f842e05 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 12e20efce7eaf51e38d8953c318633b1c5189256
+Subproject commit 5f842e053886802d3ef5322e19442c84f3b4aa63