diff --git a/doc b/doc
index 2fa21e1af6..312218849e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2fa21e1af6dc0961afd80a4d2900f2f87011e316
+Subproject commit 312218849e9adc14f50ac13f950a46d689af57ab