From 75716d26fff730466e845980b76571a2da5f8df4 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 4 Jan 2023 18:40:04 +0200 Subject: [PATCH] Sync docs --- docs | 2 +- scripts/docspregen.py | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/docs b/docs index 9a201e94..3b33aded 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 9a201e94ae981e26203020e5767b44783701e2ec +Subproject commit 3b33aded66470a9784744ec9448c2261b5bb540f diff --git a/scripts/docspregen.py b/scripts/docspregen.py index a9a96c7b..f895c25d 100644 --- a/scripts/docspregen.py +++ b/scripts/docspregen.py @@ -476,13 +476,11 @@ Stable ; Latest stable version [env:latest_stable] platform = {name} - board = ... - + {board} ; Custom stable version [env:custom_stable] platform = {name}@x.y.z - board = ... - + {board} Upstream ~~~~~~~~ @@ -490,9 +488,11 @@ Upstream [env:upstream_develop] platform = {github_url}.git - board = ... -""".format( - name=p.name, title=p.title, github_url=github_url + {board}""".format( + name=p.name, + title=p.title, + github_url=github_url, + board="board = ...\n" if p.is_embedded() else "", ) )