diff --git a/doc b/doc
index 172ca9edce..278f7b7d0c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 172ca9edceb7dd2a7bcc5ed7e91d57c00066e3d4
+Subproject commit 278f7b7d0cda1aab5789122d808f411cd05a20fc