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"])