From: Spencer Oliver <spen@spen-soft.co.uk>
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://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=6e40c5203a7696967fa0706c305e5b441dd7cfa9

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>
---

diff --git a/doc/openocd.texi b/doc/openocd.texi
index a747f9ac4b..4caefb8c89 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: