diff --git a/doc b/doc
index 88b48fe09d..7abc3ca176 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 88b48fe09d355239afd74a36d4f948629ee0e95d
+Subproject commit 7abc3ca176eb59cc7a06a6a7b4f7b3ba21e89d2d