diff --git a/doc b/doc
index 70dca87373..3feeebc0a2 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 70dca87373ad807042fd9339c1fc1c083c2a3c86
+Subproject commit 3feeebc0a2c0a70fe7a812ec86543d4392a737ab