diff --git a/infra/doc b/infra/doc
index 456bef613..85456718a 160000
--- a/infra/doc
+++ b/infra/doc
@@ -1 +1 @@
-Subproject commit 456bef6133780aa7928f30024b4ced5042ee8bc9
+Subproject commit 85456718a1f4e29b32916d1eccabc27b66a66b74