diff --git a/Doc b/Doc
index e1e9d3a..51db374 160000
--- a/Doc
+++ b/Doc
@@ -1 +1 @@
-Subproject commit e1e9d3a6c40053e775264d4856a84881f127d4e7
+Subproject commit 51db3748c21ddc3f2b84a07af93cc1a72209a60b