diff --git a/doc b/doc
index 9457e20..5a5c748 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 9457e20ae51c9494f084dc947a5aace66e3a49c8
+Subproject commit 5a5c748404a6780e932b3e2ff610d23ead3d80ab