* Makefile.in (GDBMI_DIR): New variable.
authorEli Zaretskii <eliz@gnu.org>
Sun, 23 Apr 2000 08:15:49 +0000 (08:15 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sun, 23 Apr 2000 08:15:49 +0000 (08:15 +0000)
commit7162c0cabe922de558b7f88b975ce9e587c8b69c
treeb1daa2f1393ee961731b2e88d079f6b13d23823e
parent878798ce4669299cdbccdc5b914799235b6d657d
* 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.
gdb/ChangeLog
gdb/NEWS
gdb/TODO
gdb/doc/ChangeLog
gdb/doc/Makefile.in
gdb/doc/gdb.texinfo
gdb/mi/ChangeLog-mi
gdb/mi/gdbmi.texinfo