From 195977bbb1305a266d1e39b197fd95b5043d6e4c Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Thu, 21 Nov 2024 16:46:37 +0100 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Alessio Perugini --- docs/configuration.md | 2 +- docs/platform-specification.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/configuration.md b/docs/configuration.md index dc6b8be5ab3..921554d4ceb 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -9,7 +9,7 @@ - `downloads` - directory used to stage downloaded archives during Boards/Library Manager installations. - `user` - the equivalent of the Arduino IDE's ["sketchbook" directory][sketchbook directory]. Library Manager installations are made to the `libraries` subdirectory of the user directory. Users can manually install 3rd party - platforms in the `hardware` subdirecotry of the user directory. + platforms in the `hardware` subdirectory of the user directory. - `builtin.libraries` - the libraries in this directory will be available to all platforms without the need for the user to install them, but with the lowest priority over other installed libraries with the same name, it's the equivalent of the Arduino IDE's bundled libraries directory. diff --git a/docs/platform-specification.md b/docs/platform-specification.md index b85286d9029..dfd85422902 100644 --- a/docs/platform-specification.md +++ b/docs/platform-specification.md @@ -52,7 +52,7 @@ In this latter case the version is omitted. We can also see that the vendor "arduino" has two supported architectures (AVR and SAM), while "foo" and "bar" have only AVR. -### Notes about the choosing the architecture name +### Notes about choosing the architecture name Architecture values are case sensitive (e.g. `AVR` != `avr`).