diff --git a/doc b/doc
index 39a914d..9457e20 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 39a914dbbfd8834adfbedf426815d753233b522b
+Subproject commit 9457e20ae51c9494f084dc947a5aace66e3a49c8