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