diff --git a/doc b/doc
index ddc22fa994..a071940251 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit ddc22fa99481a6ff5c2aefacb57db349a739644c
+Subproject commit a07194025110e36fe7255afb5edc16e921a8bb95