diff --git a/doc b/doc
index 0ae4d31e68..1402e9c5e1 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 0ae4d31e68238c3a82e1a5466cacaf7337219657
+Subproject commit 1402e9c5e1427fe8564e4d1c27528f0ae21376f6