diff --git a/doc b/doc
index 433c2cc3da..15236dd712 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 433c2cc3dac104382613e325ec8cb17502b27061
+Subproject commit 15236dd7124de3367b76f5779990c7b9ae8cb0a8