diff --git a/doc b/doc
index e15ab68..ebf9b09 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit e15ab68364f3d0a69fc304e495d1fde180ddb1d8
+Subproject commit ebf9b0967b542eaf5ff116f791f6912c1352aef5