diff --git a/docs/platform-specification.md b/docs/platform-specification.md index a842211f0c6..c34047bf8d9 100644 --- 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)