Updating docs.

diff --git a/docs b/docs
index 93ede3dd623a40f408baf70d68dd868ea5163c53..cf3236bb620048897048027d8cdff34401ad85ee 160000 (submodule)
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 93ede3dd623a40f408baf70d68dd868ea5163c53
+Subproject commit cf3236bb620048897048027d8cdff34401ad85ee