diff --git a/doc b/doc
index 1c7227398b..da0aa0c018 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1c7227398b53566b507620ddfee057c0f5398f71
+Subproject commit da0aa0c018d226bb9ef39584608c31ea13d9b994