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 /mkdep | |
| 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 'mkdep')
0 files changed, 0 insertions, 0 deletions