diff --git a/doc b/doc
index 1ca467fe0c..fc15fea160 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1ca467fe0cb524ff375d957475d0319ab546915b
+Subproject commit fc15fea160a40c88ca9868a21203097b3a2b9b71