diff --git a/doc b/doc
index 07ddbf249c..c548b00a3c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 07ddbf249ce1ed79b5af5979572fbf0cfd26ca78
+Subproject commit c548b00a3c0d5debfd7778bea1465ecd0d5209fe