diff --git a/doc b/doc
index 3feeebc0a2..5d51ed959d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3feeebc0a2c0a70fe7a812ec86543d4392a737ab
+Subproject commit 5d51ed959d710bfe30c3b9252b1f8fa7d63fe9df