Use latest docs.

diff --git a/doc b/doc
index 55d909779a3f09c038d7b2fab40f5ee38b40bb22..195f10ba03a47ca68cd3e9b1647c599b265c42bb 160000 (submodule)
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 55d909779a3f09c038d7b2fab40f5ee38b40bb22
+Subproject commit 195f10ba03a47ca68cd3e9b1647c599b265c42bb