diff --git a/doc b/doc
index 3d7c3c18de..12ce9ccb17 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3d7c3c18decea20373be1454759d03202789c929
+Subproject commit 12ce9ccb171889c029e3560fa3f76549bb80d35c