diff --git a/doc b/doc
index 8026031..d76c807 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 80260311fdb0d22968b369ece11a382a4a2c1967
+Subproject commit d76c807ed4793d95b4834c48d1cbb0a4bb3fd3c7