From ee16e6b66b998ecc8fc452e3e1325987907399d0 Mon Sep 17 00:00:00 2001 From: per1234 Date: Tue, 7 Jul 2020 21:32:56 -0700 Subject: [PATCH] Mention Boards Manager installation option in platform specification intro Previously, manual installation alone was specifically described, which might cause new platform authors to think the specification is only for manually installed platforms. Boards Manager was only mentioned in passing, deep within the document. --- docs/platform-specification.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/platform-specification.md b/docs/platform-specification.md index 9fa6054847c..5e59694ec48 100644 --- a/docs/platform-specification.md +++ b/docs/platform-specification.md @@ -1,6 +1,6 @@ This specification is a 3rd party hardware format to be used in Arduino development software starting from the Arduino IDE 1.5.x series.
-This specification allows a 3rd party vendor/maintainer to add support for new boards to the Arduino development software by providing a file to unzip into the *hardware* folder of Arduino's sketchbook folder.
-It is also possible to add new 3rd party boards by providing just one configuration file. +Platforms add support for new boards to the Arduino development software. They are installable either via [Boards Manager](package_index_json-specification.md) or manual installation to the *hardware* folder of Arduino's sketchbook folder.
+A platform may consist of as little as a single configuration file. ## Hardware Folders structure