diff options
| author | Jason Molenda <jmolenda@apple.com> | 2000-02-07 00:19:45 +0000 |
|---|---|---|
| committer | Jason Molenda <jmolenda@apple.com> | 2000-02-07 00:19:45 +0000 |
| commit | 3fc11d3e80ff4229745e2185a9ee77c780220f3d (patch) | |
| tree | 9d2e895407002a577d938d47f3c5e2b57793ff60 /gdb/doc/Makefile.in | |
| parent | dfcd3bfb6f8a213007c20e60060b4e9ec9205205 (diff) | |
| download | gdb-3fc11d3e80ff4229745e2185a9ee77c780220f3d.zip gdb-3fc11d3e80ff4229745e2185a9ee77c780220f3d.tar.gz gdb-3fc11d3e80ff4229745e2185a9ee77c780220f3d.tar.bz2 | |
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 9cbacbb..1280ed7 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 |