From 9a1c15c5b44aaf9f7ab161d502b56cdca196fc66 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Thu, 26 Jul 2001 07:29:24 +0000 Subject: [PATCH] Makefile.in (gdbgui.dvi, gdb-gui, gdbgui.info): Targets deleted. --- gdb/doc/ChangeLog | 4 ++++ gdb/doc/Makefile.in | 14 -------------- 2 files changed, 4 insertions(+), 14 deletions(-) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 77f01b4..793885c 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2001-07-26 Eli Zaretskii + + * Makefile.in (gdbgui.dvi, gdb-gui, gdbgui.info): Targets deleted. + 2001-07-24 Stephane Carrez * gdb.texinfo (TUI): New chapter, document the TUI. 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 -- 2.7.4