From ab1d1f248ca60b277a633ae91f12ba69ea87bc7d Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Mon, 30 Jul 2018 19:39:31 +0300
Subject: [PATCH] Refactor docs for PIO Unified debug tools

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

diff --git a/docs b/docs
index 19b51562..4e02d8a8 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 19b51562c921c70cf1e89469a303de955dc9bedd
+Subproject commit 4e02d8a81e15dc14e7a561318adc6056e91da5c3
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index ce940ff6..4fd8c2b3 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -632,9 +632,9 @@ def update_debugging():
             end = end_tpl + tool
             begin_index = content.index(begin)
             end_index = content.index(end)
-            chunk = ["\n\n**Compatible development platforms:**\n"]
+            chunk = ["\n\n:Compatible Platforms:\n"]
             chunk.extend([
-                "* :ref:`platform_%s`" % str(p)
+                "  * :ref:`platform_%s`" % str(p)
                 for p in sorted(set(platforms))
             ])
             chunk.extend(["\n"])