diff --git a/doc b/doc
index e95edd0e7e..762add424e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit e95edd0e7ecdfaf557fe058eabc0df85b2467991
+Subproject commit 762add424ee68517ec5fe87b2c16aa9a3453c69d