Makefile.in (gdbgui.dvi, gdb-gui, gdbgui.info): Targets deleted.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 77f01b400def9b93b0c1ab8eeceb4524c239cb84..793885c520d4fd15a265ff4e09e5c6674b61736e 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@
+2001-07-26  Eli Zaretskii  <eliz@is.elta.co.il>
+
+       * Makefile.in (gdbgui.dvi, gdb-gui, gdbgui.info): Targets deleted.
+
 2001-07-24  Stephane Carrez  <Stephane.Carrez@worldnet.fr>
 
        * gdb.texinfo (TUI): New chapter, document the TUI.

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index f45a28f3a46537ac14a62314266788ea088eebba..85aeb490f5fada514ca8ab1e416838a239209653 100644 (file)
--- 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