diff --git a/doc b/doc
index 0253bce437..e4aa71c19c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 0253bce437cde767b4fe66988defc8fa26935a30
+Subproject commit e4aa71c19c1233bb1be90e505eb6e13e32fbb20a