diff options
| author | Stan Shebs <shebs@codesourcery.com> | 1995-01-07 01:20:09 +0000 |
|---|---|---|
| committer | Stan Shebs <shebs@codesourcery.com> | 1995-01-07 01:20:09 +0000 |
| commit | 22cb0aa7dd3eea68e3a5106ee9191db497fa7dcb (patch) | |
| tree | 43b0cc793c60c8e194a3e1f83f68cc3e4be427fd /gdb/doc/Makefile.in | |
| parent | dc7d3f0cafaa3389c8ee248b6c3981664c338759 (diff) | |
| download | gdb-22cb0aa7dd3eea68e3a5106ee9191db497fa7dcb.zip gdb-22cb0aa7dd3eea68e3a5106ee9191db497fa7dcb.tar.gz gdb-22cb0aa7dd3eea68e3a5106ee9191db497fa7dcb.tar.bz2 | |
* gdbgui.texinfo: New file, manual for GUI (gdbtk) users.
* Makefile.in (gdbgui.dvi, gdbgui.info): New actions.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index ff6950b..9e95fed 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -296,6 +296,22 @@ gdb.mm: $(SFILES_LOCAL) links2roff rluser.texinfo inc-hist.texi sed -e 's/---/\\(em/g' \ >gdb.mm +# start-sanitize-gdbtk +# GDB GUI MANUAL: TeX dvi file +gdbgui.dvi : gdbgui.texinfo ${SFILES_DOC} + $(SET_TEXINPUTS) $(TEX) gdbgui.texinfo + $(TEXINDEX) gdbgui.?? + $(SET_TEXINPUTS) $(TEX) gdbgui.texinfo + rm -f gdbgui.?? gdbgui.aux gdbgui.cps gdbgui.fns gdbgui.kys \ + gdbgui.log gdbgui.pgs gdbgui.toc gdbgui.tps gdbgui.vrs + +# GDB GUI MANUAL: info file +gdb-gui: gdbgui.info + +gdbgui.info: gdbgui.texinfo ${SFILES_DOC} + $(MAKEINFO) -o gdbgui.info $(srcdir)/gdbgui.texinfo +# end-sanitize-gdbtk + # GDB INTERNALS MANUAL: TeX dvi file gdbint.dvi : gdbint.texinfo $(SET_TEXINPUTS) $(TEX) gdbint.texinfo |