doc: Remove outdated '-pipe' option

Change-Id: Ie3a7a3aaf69485f16b2447bd1dfa7622b584c7c0 Signed-off-by: Marc Schink <[email protected]> Reviewed-on: https://review.openocd.org/c/openocd/+/8348 Tested-by: jenkins Reviewed-by: Antonio Borneo <[email protected]>
openocd-org · Jul 13, 2024 · 31e0fc4 · 31e0fc4
1 parent 2fe392e
commit 31e0fc4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/doc/openocd.texi b/doc/openocd.texi
@@ -2179,8 +2179,6 @@ only during configuration (before those ports are opened).
 For reasons including security, you may wish to prevent remote
 access using one or more of these ports.
 In such cases, just specify the relevant port number as "disabled".
-If you disable all access through TCP/IP, you will need to
-use the command line @option{-pipe} option.
 
 You can request the operating system to select one of the available
 ports for the server by specifying the relevant port number as "0".