diff options
author | Spencer Oliver <spen@spen-soft.co.uk> | 2013-09-19 15:14:47 +0100 |
---|---|---|
committer | Spencer Oliver <spen@spen-soft.co.uk> | 2013-09-25 13:55:42 +0000 |
commit | 6e40c5203a7696967fa0706c305e5b441dd7cfa9 (patch) | |
tree | 5ae00048826ae8b1bb874724ab61b2956ae98743 | |
parent | 3f34ed9c7908ac78ed3f83d436cd6a365ddd4d7a (diff) |
doc: correctly terminate @xref
@xref should be terminated by either a ',' or '.'.
Change-Id: I141335cd4e149992fc971c6f2c04f1dbe390c8f4
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/1637
Tested-by: jenkins
Reviewed-by: Xiaofan <xiaofanc@gmail.com>
-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: |