Update docs/platform-specification.md

Co-authored-by: Umberto Baldi <[email protected]>
arduino · Oct 12, 2023 · ce64d47 · ce64d47
1 parent a36dff0
commit ce64d47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/platform-specification.md b/docs/platform-specification.md
@@ -1361,7 +1361,7 @@ OpenOCD server specific configurations:
 
 - `debug.server.openocd.path`: is the absolute path to the OpenOCD directory
 - `debug.server.openocd.scripts_dir`: is the absolute path to the OpenOCD scripts directory
-- `debug.server.openocd.scripts.N`: is a list of OpenOCD scripts to run, where N is a number (a sequence of
+- `debug.server.openocd.scripts.N`: is a list of OpenOCD script files to run, where N is a number (a sequence of
   non-consecutive numbers is allowed)
 - `debug.server.openocd.script`: if there is only one OpenOCD script to run, this directive con be used instead of the
   `debug.server.openocd.scripts.N` (this directive is ignored if `debug.server.openocd.scripts.N` is present)