diff --git a/doc b/doc
index 2361f8fd45..9acf43f85b 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 2361f8fd45cc851f6245de1dd96e0ac874700f18
+Subproject commit 9acf43f85b8f31594bfcd6852c165a531e0444ec