diff --git a/doc b/doc
index ca6dca30..40980c7f 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit ca6dca303b46c37d0b6202e31312a92a419fea0e
+Subproject commit 40980c7f136225ef6e9e523b96949b98a204ca10