diff --git a/projects/docs/tools b/projects/docs/tools
index 53bd66d32..bc9806c7f 160000
--- a/projects/docs/tools
+++ b/projects/docs/tools
@@ -1 +1 @@
-Subproject commit 53bd66d3209c53ba5ae0612016539d23f8cfc839
+Subproject commit bc9806c7f268da97cba41c903de95883beff4a32