diff --git a/doc b/doc
index cc58d32ca0..938fcadcca 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit cc58d32ca0c011b5440926fac9ad5e5b4ab62b04
+Subproject commit 938fcadccaff63a2b1526ff8fcdee11c5de3c5ec