diff --git a/doc b/doc
index 387a01435e..423885ffb7 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 387a01435e18d98c8ffed997d2f41fa57eda5dd6
+Subproject commit 423885ffb77f671348382a26d89590a214d2c724