diff --git a/doc b/doc
index 9acf43f85b..bf4951c3ee 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 9acf43f85b8f31594bfcd6852c165a531e0444ec
+Subproject commit bf4951c3ee85d83b67551f794d000ac231cca261