diff --git a/doc b/doc
index 3292435ff5..72e50ddc22 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3292435ff52d4f52d489896b823abde72c3cfcae
+Subproject commit 72e50ddc22d235ac92ce03ed06abce4f0d0f87da