diff --git a/doc b/doc
index b46686df..1351da5d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit b46686df0e06f302a7b75a74b379c802f7c7b565
+Subproject commit 1351da5da9c56e967caa91c0041d4fb8d6471336