diff --git a/doc/ocdoc b/doc/ocdoc
index a8fc638c2..b72186169 160000
--- a/doc/ocdoc
+++ b/doc/ocdoc
@@ -1 +1 @@
-Subproject commit a8fc638c26dd47925e66f05fb87cface5dbbbd81
+Subproject commit b7218616920517c020837648230b0b9ed502bc08