From 90993ec69f819ee934fba70ea40ee64425cda5f1 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 7 Mar 2018 13:48:59 +0200
Subject: [PATCH] Docs: Show onboard debug tools before

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

diff --git a/docs b/docs
index f32c300c..cbb1112b 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit f32c300c1c19b399421da4ce5aeb148fa1dc3a32
+Subproject commit cbb1112bca68b42e1e03c1344e905579bb1df0a1
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index b0e28c1e..9d1c2371 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -77,7 +77,8 @@ def generate_boards(boards, extend_debug=False, skip_columns=None):
     for data in sorted(boards, key=lambda item: item['id']):
         debug = [":ref:`Yes <piodebug>`" if data['debug'] else "No"]
         if extend_debug and data['debug']:
-            debug = []
+            debug_onboard = []
+            debug_external = []
             for name, options in data['debug']['tools'].items():
                 attrs = []
                 if options.get("default"):
@@ -86,9 +87,12 @@ def generate_boards(boards, extend_debug=False, skip_columns=None):
                     attrs.append("on-board")
                 tool = ":ref:`debugging_tool_%s`" % name
                 if attrs:
-                    debug.append("%s (%s)" % (tool, ", ".join(attrs)))
+                    tool = "%s (%s)" % (tool, ", ".join(attrs))
+                if options.get("onboard"):
+                    debug_onboard.append(tool)
                 else:
-                    debug.append(tool)
+                    debug_external.append(tool)
+            debug = sorted(debug_onboard) + sorted(debug_external)
 
         variables = dict(
             id=data['id'],