diff --git a/doc b/doc
index 3bd1c12b9e..7192dbedf3 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3bd1c12b9e2810b2cbe5e05629ddc59dd83d9d36
+Subproject commit 7192dbedf3ca9ce49294057262074f0e888177f3