diff --git a/doc b/doc
index 4a3d2d4c8d..08107c0e93 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 4a3d2d4c8df566eea1be8f9c9803dec81b500078
+Subproject commit 08107c0e93e6f7e9955ce025a5e79d992b95367b