diff --git a/doc b/doc
index ac82bd62c4..e172175c6e 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit ac82bd62c4b67d1c13540730a85c6a824397832c
+Subproject commit e172175c6eef86dd23cda7b7980e22bec8e52b2a