diff --git a/doc b/doc
index 5a5c748..5d25376 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5a5c748404a6780e932b3e2ff610d23ead3d80ab
+Subproject commit 5d253764e6b4e989ba4e043ef7345439a9979789