diff --git a/doc b/doc
index 32e4ef229f..01b206ffdb 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 32e4ef229fafe304e2d2cf024136034b71d56e37
+Subproject commit 01b206ffdb79f3bd9b40148587a22ae8b0b318c5