diff --git a/doc b/doc
index 63e162b0b0..5a385599ce 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 63e162b0b09ca1c2e6dd686d6f557b7071b09425
+Subproject commit 5a385599ce15d07375352bb971d23a5e03a6e3d7