diff --git a/doc b/doc
index fd3e22bf5e..ddec4e6750 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit fd3e22bf5efc42a572e83346031aec4493b3c803
+Subproject commit ddec4e675013eff12746064fa4b6b723e86b5804