diff --git a/docs/platform-specification.md b/docs/platform-specification.md index 652b7348878..43d7bac827a 100644 --- a/docs/platform-specification.md +++ b/docs/platform-specification.md @@ -522,9 +522,17 @@ commands to run to compile the sketch), but the `post*` hooks and all compile co ## Global platform.txt -Properties defined in a platform.txt created in the **hardware** subfolder of the Arduino IDE installation folder will -be used for all platforms and will override local properties. This feature is currently only available when using the -Arduino IDE. +Properties defined in a platform.txt file located in the root of any of the packages folders will be used for all +platforms and will override local properties. + +The packages folder locations are: + +- `{directories.data}/packages`
(where `{directories.data}` is the path from the `directories.data` + [configuration key](configuration.md)) +- `{directories.user}/hardware`
(where `{directories.user}` is the path from the `directories.user` + [configuration key](configuration.md), or Arduino IDE "Sketchbook location" preference) +- `{Arduino IDE installation}/hardware` (Arduino IDE 1.x only)
(where `{Arduino IDE installation}` is the path of + the Arduino IDE installation folder) ## platform.local.txt