diff --git a/projects/docs/tools b/projects/docs/tools
index 13b67e16c..f8bf24f89 160000
--- a/projects/docs/tools
+++ b/projects/docs/tools
@@ -1 +1 @@
-Subproject commit 13b67e16cd98b75d11c9d6a3e30b0a1552061788
+Subproject commit f8bf24f89f21216658b3b860595201d4e31a4ecc