From: Karl Palsson <karlp@tweak.net.au>
Date: Tue, 29 Nov 2022 13:12:14 +0000 (+0000)
Subject: doc: describe tcl port consistently.
X-Git-Tag: v0.12.0-rc3~10
X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=9501b263e0ae127b012f5c5e3ba5dffcc7daa8d1

doc: describe tcl port consistently.

One place described the tcl port as 5555, which was changed in 163bd86071a
Reported on IRC.

Change-Id: If740a29443793d6a4d4f8c9db54f0fc8344a6c1c
Signed-off-by: Karl Palsson <karlp@tweak.net.au>
Reviewed-on: https://review.openocd.org/c/openocd/+/7385
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
---

diff --git a/doc/openocd.texi b/doc/openocd.texi
index e9f93614c9..d8a5e86b42 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -8523,7 +8523,7 @@ command. All output is relayed through the GDB session.
 
 @item @b{Machine Interface}
 The Tcl interface's intent is to be a machine interface. The default Tcl
-port is 5555.
+port is 6666.
 @end itemize