From: Spencer Oliver Date: Thu, 19 Sep 2013 14:14:47 +0000 (+0100) Subject: doc: correctly terminate @xref X-Git-Tag: v0.8.0-rc1~246 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=6e40c5203a7696967fa0706c305e5b441dd7cfa9;p=openocd doc: correctly terminate @xref @xref should be terminated by either a ',' or '.'. Change-Id: I141335cd4e149992fc971c6f2c04f1dbe390c8f4 Signed-off-by: Spencer Oliver Reviewed-on: http://openocd.zylin.com/1637 Tested-by: jenkins Reviewed-by: Xiaofan --- 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: