diff --git a/doc b/doc
index a071940251..a9ad06f0a2 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a07194025110e36fe7255afb5edc16e921a8bb95
+Subproject commit a9ad06f0a2f03adf498d3028a70c3abb63f8ae23