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`).