diff options
-rw-r--r-- | doc/openocd.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index a747f9ac..4caefb8c 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -8119,7 +8119,7 @@ end @anchor{gdbrtossupport} OpenOCD includes RTOS support, this will however need enabling as it defaults to disabled. -It can be enabled by passing @option{-rtos} arg to the target @xref{rtostype,,RTOS Type} +It can be enabled by passing @option{-rtos} arg to the target @xref{rtostype,,RTOS Type}. @* An example setup is below: |