diff --git a/docs/tools b/docs/tools
index 5c806d3..81dd0f1 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 5c806d36311589acabbfc6fea52eb78a9d43d423
+Subproject commit 81dd0f18a835f96f612acc64235c2d8027d00c74