platformio/platformio-core
1
0
Fork 1
mirror of https://github.com/platformio/platformio-core.git synced 2025-07-30 18:17:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Refactor docs for PIO Unified debug tools

Browse Source
This commit is contained in:
Ivan Kravets
2018-07-30 19:39:31 +03:00
parent 617f51b9ea
commit ab1d1f248c
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs

Submodule docs updated: 19b51562c9...4e02d8a81e

4
scripts/docspregen.py
View File

@ -632,9 +632,9 @@ def update_debugging():
end = end_tpl + tool end = end_tpl + tool
begin_index = content.index(begin) begin_index = content.index(begin)
end_index = content.index(end) end_index = content.index(end)
chunk = ["\n\n**Compatible development platforms:**\n"] chunk = ["\n\n:Compatible Platforms:\n"]
chunk.extend([ chunk.extend([
"* :ref:`platform_%s`" % str(p) " * :ref:`platform_%s`" % str(p)
for p in sorted(set(platforms)) for p in sorted(set(platforms))
]) ])
chunk.extend(["\n"]) chunk.extend(["\n"])