aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSpencer Oliver <spen@spen-soft.co.uk>2013-09-19 15:14:47 +0100
committerSpencer Oliver <spen@spen-soft.co.uk>2013-09-25 13:55:42 +0000
commit6e40c5203a7696967fa0706c305e5b441dd7cfa9 (patch)
tree5ae00048826ae8b1bb874724ab61b2956ae98743 /doc
parent3f34ed9c7908ac78ed3f83d436cd6a365ddd4d7a (diff)
downloadriscv-openocd-6e40c5203a7696967fa0706c305e5b441dd7cfa9.zip
riscv-openocd-6e40c5203a7696967fa0706c305e5b441dd7cfa9.tar.gz
riscv-openocd-6e40c5203a7696967fa0706c305e5b441dd7cfa9.tar.bz2
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>
Diffstat (limited to 'doc')
-rw-r--r--doc/openocd.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi
index a747f9a..4caefb8 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: