diff --git a/doc b/doc
index dfc8b1c315..c5c73eaf52 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit dfc8b1c315bd4640e2a82b29df1476a2c133f12c
+Subproject commit c5c73eaf52d481cee6ff180f1aa6edb75eb11e9e