diff --git a/doc b/doc
index 08107c0e93..e247a91c2d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 08107c0e93e6f7e9955ce025a5e79d992b95367b
+Subproject commit e247a91c2d7cc09fcf5a27433e8ae197a7fb1a40