diff --git a/doc b/doc
index becbcc35..a62a01b7 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit becbcc35956102e064fc603720182113d887a180
+Subproject commit a62a01b7fc3b1adb0c2bd3b7d006cc7f0aa43702