diff --git a/doc b/doc
index c45efc0ae9..5096cd7f22 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit c45efc0ae9f2efcf39a607a1825fd123c9fb5ee5
+Subproject commit 5096cd7f22af78bc3124298a6b290b3a6e5d28a7