diff options
| author | Jason Molenda <jsm@bugshack.cygnus.com> | 2000-02-07 00:19:45 +0000 |
|---|---|---|
| committer | Jason Molenda <jsm@bugshack.cygnus.com> | 2000-02-07 00:19:45 +0000 |
| commit | d288e640360c5e3ada4043e84dcce666b697a6a4 (patch) | |
| tree | 43de4cbaa8f2f7abdfeaa3967450869a1ebbbc5f /gdb/doc/Makefile.in | |
| parent | 4a0a51e37f1d7dd770d0306310c82c3aaeb8baa7 (diff) | |
| download | gdb-d288e640360c5e3ada4043e84dcce666b697a6a4.tar.gz | |
import insight-2000-02-04 snapshot (2nd try)
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 9cbacbb29bb..1280ed7be0f 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -318,6 +318,19 @@ gdb.mm: $(SFILES_LOCAL) links2roff rluser.texinfo inc-hist.texinfo gdb_toc.html: ${SFILES_DOC} $(MAKEHTML) $(MAKEHTMLFLAGS) -I ${READLINE_DIR} -I $(srcdir) $(srcdir)/gdb.texinfo +# 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.aux gdbgui.cp* gdbgui.fn* gdbgui.ky* \ + gdbgui.log gdbgui.pg* gdbgui.toc gdbgui.tp* gdbgui.vr* + +# GDB GUI MANUAL: info file +gdb-gui: gdbgui.info + +gdbgui.info: gdbgui.texinfo ${SFILES_DOC} + $(MAKEINFO) -o gdbgui.info $(srcdir)/gdbgui.texinfo # GDB INTERNALS MANUAL: TeX dvi file gdbint.dvi : gdbint.texinfo |