diff --git a/doc b/doc
index 4938c51..ece840a 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 4938c5168324e1d67ae067b3e9b2a13205948176
+Subproject commit ece840af5b19d2c78b2dbfa14adac145fab79f4f