* gdbgui.texinfo: New file, manual for GUI (gdbtk) users.
authorStan Shebs <shebs@codesourcery.com>
Sat, 7 Jan 1995 01:20:09 +0000 (01:20 +0000)
committerStan Shebs <shebs@codesourcery.com>
Sat, 7 Jan 1995 01:20:09 +0000 (01:20 +0000)
commit22cb0aa7dd3eea68e3a5106ee9191db497fa7dcb
tree43b0cc793c60c8e194a3e1f83f68cc3e4be427fd
parentdc7d3f0cafaa3389c8ee248b6c3981664c338759
* gdbgui.texinfo: New file, manual for GUI (gdbtk) users.
* Makefile.in (gdbgui.dvi, gdbgui.info): New actions.
gdb/doc/ChangeLog
gdb/doc/Makefile.in
gdb/doc/gdbgui.texinfo [new file with mode: 0644]