openocd: remove command line flag -p/--pipe deprecated in v0.5.0

[fw/openocd] / doc / openocd.texi

diff --git a/doc/openocd.texi b/doc/openocd.texi
index 640687da51ac3494fa1c6c37533e91acf0980bf0..34168fdaa846ea67a6f27fd92b08fcc781b5cb5c 100644 (file)
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -2155,9 +2155,6 @@ disables the gdb server.
 When using "pipe", also use log_output to redirect the log
 output to a file so as not to flood the stdin/out pipes.
 
-The -p/--pipe option is deprecated and a warning is printed
-as it is equivalent to passing in -c "gdb_port pipe; log_output openocd.log".
-
 Any other string is interpreted as named pipe to listen to.
 Output pipe is the same name as input pipe, but with 'o' appended,
 e.g. /var/gdb, /var/gdbo.