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>
This commit is contained in:
Spencer Oliver 2013-09-19 15:14:47 +01:00
parent 3f34ed9c79
commit 6e40c5203a

View File

@ -8119,7 +8119,7 @@ end
@anchor{gdbrtossupport} @anchor{gdbrtossupport}
OpenOCD includes RTOS support, this will however need enabling as it defaults to disabled. 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: @* An example setup is below: