aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDavid Brownell <dbrownell@users.sourceforge.net>2009-11-09 09:40:55 -0800
committerDavid Brownell <dbrownell@users.sourceforge.net>2009-11-09 09:40:55 -0800
commit4882647f3ee7fc0680c49fbd27a484359fd7e86a (patch)
tree454d79df009d19a6101c8f855c93b8329ea00107 /doc
parent526347f95928b7968345dafc72c4664217e3772c (diff)
User's Guide: bugfix global state info
The "$ocd_HOSTOS" variable was wrongly documented. Fix its documentation, and its value on Linux. Shrink a few of the too-long lines. Signed-off-by: David Brownell <dbrownell@users.sourceforge.net>
Diffstat (limited to 'doc')
-rw-r--r--doc/openocd.texi4
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi
index e84f4c8b..d869f389 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -6476,10 +6476,8 @@ called "flash_banks".
@section OpenOCD specific Global Variables
-@subsection HostOS
-
Real Tcl has ::tcl_platform(), and platform::identify, and many other
-variables. JimTCL, as implemented in OpenOCD creates $HostOS which
+variables. JimTCL, as implemented in OpenOCD creates $ocd_HOSTOS which
holds one of the following values:
@itemize @bullet