diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2000-04-23 08:15:49 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2000-04-23 08:15:49 +0000 |
| commit | 7162c0cabe922de558b7f88b975ce9e587c8b69c (patch) | |
| tree | b1daa2f1393ee961731b2e88d079f6b13d23823e /gdb/NEWS | |
| parent | 878798ce4669299cdbccdc5b914799235b6d657d (diff) | |
| download | gdb-7162c0cabe922de558b7f88b975ce9e587c8b69c.zip gdb-7162c0cabe922de558b7f88b975ce9e587c8b69c.tar.gz gdb-7162c0cabe922de558b7f88b975ce9e587c8b69c.tar.bz2 | |
* Makefile.in (GDBMI_DIR): New variable.
(SET_TEXINPUTS): Add $(GDBMI_DIR).
(SFILES_DOC): Add $(GDBMI_DIR)/gdbmi.texinfo.
(gdbmi.texinfo): New target, for texi2roff.
(gdb.me, gdb.ms, gdb.mm): Depend on gdbmi.texinfo.
(gdb.info, gdb_toc.html): Add "-I ${GDBMI_DIR}".
* gdb.texinfo (Top): Add GDB/MI to the main menu and @include
gdbmi.texinfo.
(Mode Options): Add xref to GDB/MI docs and remove a FIXME
comment.
* gdbmi.texinfo: Lots of changes, to include this document as part
of the GDB manual.
* TODO, NEWS: Update due to inclusion of gdbmi.texinfo in the GDB
manual.
Diffstat (limited to 'gdb/NEWS')
| -rw-r--r-- | gdb/NEWS | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -124,9 +124,9 @@ try to find a command that does what you are looking for. A new machine oriented interface (MI) has been added to GDB. This interface is designed for debug environments running GDB as a separate -process. This is part of the long term libGDB project. See -gdb/mi/gdbmi.texinfo for further information. It can be enabled by -configuring with: +process. This is part of the long term libGDB project. See the +"GDB/MI" chapter of the GDB manual for further information. It can be +enabled by configuring with: .../configure --enable-gdbmi |