diff --git a/doc b/doc
index f27b844e47..1ce37d96e2 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit f27b844e47726470d5b7ce5567d11fe4a48c72f8
+Subproject commit 1ce37d96e268134100fbc6793c0c64d48e162337