diff --git a/doc b/doc
index 423885ffb7..c18ae0f984 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 423885ffb77f671348382a26d89590a214d2c724
+Subproject commit c18ae0f984f65194342d4d1a1eb18d5b13d3c19d