From e83a11d02a80799ae9ee3e3a1383af72f2f6a222 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Fri, 5 Oct 2018 00:36:23 +0300
Subject: [PATCH] More detailed info about debug per board

---
 docs                  | 2 +-
 scripts/docspregen.py | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs b/docs
index 2d428c47..9c6fe4f1 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 2d428c472c75c73ca8584560590dca48cefb40f5
+Subproject commit 9c6fe4f18fe7f5d3c4fbff594aa98b8a7dc7bfe7
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index 5cadbea5..866a13b3 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -86,9 +86,9 @@ def generate_boards_table(boards, skip_columns=None):
             t.get("onboard") for (_, t) in data['debug']['tools'].items()))
         debug = "No"
         if has_onboard_debug:
-            debug = "Yes"
+            debug = "On-board"
         elif data['debug']:
-            debug = "Yes :sup:`?`"
+            debug = "External"
 
         variables = dict(
             id=data['id'],