From cabe7d8c112bd49bd3dad6a17f3f2487a4c5e527 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Fri, 24 Feb 2023 10:02:59 -0700 Subject: [PATCH] Docs: recommend specific version for a dev platform --- scripts/docspregen.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/docspregen.py b/scripts/docspregen.py index f895c25d..b0fe2ade 100644 --- a/scripts/docspregen.py +++ b/scripts/docspregen.py @@ -473,11 +473,12 @@ Stable .. code-block:: ini - ; Latest stable version + ; Latest stable version, NOT recommended + ; Pin the version as shown below [env:latest_stable] platform = {name} {board} - ; Custom stable version + ; Specific version [env:custom_stable] platform = {name}@x.y.z {board}