Øyvind Harboe 96a56ba086 pipes: add documentation for pipes ... Stick with the name "gdb_port" even if this command can be used for other things(disable, named pipes, anonymous stdin/out pipe). "port" is correct for probably more than 90% of use cases, if not more. Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>		2010-10-01 10:26:10 +02:00
..
manual	comments on doc/manual/primer/jtag.txt	2010-05-15 10:07:55 +02:00
INSTALL.txt	Remove annoying end-of-line whitespace from doc/* files.	2009-09-21 18:52:45 +00:00
Makefile.am	Fix maintainer-clean target in doc directory.	2009-07-06 08:45:31 +00:00
fdl.texi	- update openocd.texi to fdl 1.2	2008-02-29 18:10:46 +00:00
openocd.1	doc clarifications for server flags	2010-01-28 14:03:29 -08:00
openocd.texi	pipes: add documentation for pipes	2010-10-01 10:26:10 +02:00