]> git.sur5r.net Git - openocd/commitdiff
doc: correctly terminate @xref
authorSpencer Oliver <spen@spen-soft.co.uk>
Thu, 19 Sep 2013 14:14:47 +0000 (15:14 +0100)
committerSpencer Oliver <spen@spen-soft.co.uk>
Wed, 25 Sep 2013 13:55:42 +0000 (13:55 +0000)
@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>
doc/openocd.texi

index a747f9ac4b4a44c113ab74f890543d1e13016211..4caefb8c899e3b6d4812d084eb06ee39655b02d2 100644 (file)
@@ -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: