X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=doc%2Fopenocd.texi;h=4caefb8c899e3b6d4812d084eb06ee39655b02d2;hp=a747f9ac4b4a44c113ab74f890543d1e13016211;hb=refs%2Fchanges%2F37%2F1637%2F2;hpb=3f34ed9c7908ac78ed3f83d436cd6a365ddd4d7a

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: