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

Sync docs

Browse Source
This commit is contained in:
Ivan Kravets
2023-01-04 18:40:04 +02:00
parent d0ca48661c
commit 75716d26ff
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs

Submodule docs updated: 9a201e94ae...3b33aded66

14
scripts/docspregen.py
View File

@ -476,13 +476,11 @@ Stable
; Latest stable version ; Latest stable version
[env:latest_stable] [env:latest_stable]
platform = {name} platform = {name}
board = ... {board}
; Custom stable version ; Custom stable version
[env:custom_stable] [env:custom_stable]
platform = {name}@x.y.z platform = {name}@x.y.z
board = ... {board}
Upstream Upstream
~~~~~~~~ ~~~~~~~~
@ -490,9 +488,11 @@ Upstream
[env:upstream_develop] [env:upstream_develop]
platform = {github_url}.git platform = {github_url}.git
board = ... {board}""".format(
""".format( name=p.name,
name=p.name, title=p.title, github_url=github_url title=p.title,
github_url=github_url,
board="board = ...\n" if p.is_embedded() else "",
) )
) )