diff --git a/doc b/doc
index aa9212ce2b..4290ec573a 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit aa9212ce2bb0f2b5d985c2fbcd69c70ea9906f1c
+Subproject commit 4290ec573af5dc5ff72800f654a45736f5962d76