diff --git a/doc b/doc
index 5d41f93673..1fd2e5cbf3 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5d41f93673ea7948dcd7ca66b171693d9e89d9c8
+Subproject commit 1fd2e5cbf3391c777f9d2c4779b2f9bca96812db