diff --git a/doc b/doc
index 654da37703..c751af2a27 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 654da377039b3ef16320988ce3af0946a46c632f
+Subproject commit c751af2a2792e63d56cc9aaed1f514a8fa5e6f17