diff --git a/doc b/doc
index 128567a1f2..67c20a13ba 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 128567a1f29ac4a1cf705b38ba2b2b5d3705cddb
+Subproject commit 67c20a13bae12a2930137ca813907334dbc2378a