diff --git a/docs b/docs
index 30c88f62..faee34e2 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 30c88f624780bd003f105bab7ddfc56f20de850c
+Subproject commit faee34e210043fa734e28fd943ee1ebca95f7bb6
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index d2072ed2..8332ee71 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -822,7 +822,7 @@ Boards
     # Debug tools
     for tool, platforms in tool_to_platforms.items():
         tool_path = join(DOCS_ROOT_DIR, "plus", "debug-tools", "%s.rst" % tool)
-        assert isfile(tool_path)
+        assert isfile(tool_path), tool
         platforms = sorted(set(platforms))
 
         lines = [".. begin_platforms"]