diff --git a/doc b/doc
index 8e49461..8026031 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 8e4946166f6c979f95fb29da7def37a29d1f9f39
+Subproject commit 80260311fdb0d22968b369ece11a382a4a2c1967