diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2001-07-26 07:29:24 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2001-07-26 07:29:24 +0000 |
| commit | 9a1c15c5b44aaf9f7ab161d502b56cdca196fc66 (patch) | |
| tree | 38bc52183d9b742d91985c200c3c0b906a232b08 /gdb/doc/Makefile.in | |
| parent | 45c54937db274f47bf0f98519e019ad308b23483 (diff) | |
| download | gdb-9a1c15c5b44aaf9f7ab161d502b56cdca196fc66.zip gdb-9a1c15c5b44aaf9f7ab161d502b56cdca196fc66.tar.gz gdb-9a1c15c5b44aaf9f7ab161d502b56cdca196fc66.tar.bz2 | |
Makefile.in (gdbgui.dvi, gdb-gui, gdbgui.info): Targets deleted.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index f45a28f..85aeb49 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -370,20 +370,6 @@ gdb.mm: $(SFILES_LOCAL) links2roff rluser.texinfo inc-hist.texinfo gdbmi.texinfo gdb_toc.html: ${SFILES_DOC} $(MAKEHTML) $(MAKEHTMLFLAGS) -I ${READLINE_DIR} -I ${GDBMI_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 $(SET_TEXINPUTS) $(TEX) gdbint.texinfo |