diff --git a/doc b/doc
index e479f28d22..9e1ef62299 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit e479f28d2263ae3c452567a52ef613f144191f08
+Subproject commit 9e1ef622991026db06af7aa55bc076f4fdf62fe8