From b397d5b8e158cee0f549e496a6ce0acc707a6f8e Mon Sep 17 00:00:00 2001 From: Jim Kingdon Date: Sun, 13 Jun 1993 19:54:31 +0000 Subject: [PATCH] * Makefile.in (realclean): Remove info and dvi files too. --- gdb/doc/ChangeLog | 4 ++++ gdb/doc/Makefile.in | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 0f6af20fec7..1b222817d5d 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +Sun Jun 13 12:52:39 1993 Jim Kingdon (kingdon@cygnus.com) + + * Makefile.in (realclean): Remove info and dvi files too. + Sat Jun 12 16:09:22 1993 Jim Kingdon (kingdon@cygnus.com) * {all,h8}-config.texi: Rename to *-cfg.texi for 14 char filenames. diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 0f4c78a5c3a..2b4ef609b51 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -130,7 +130,7 @@ clean: mostlyclean distclean: clean rm -f Makefile config.status -realclean: distclean +realclean: distclean clean-dvi clean-info # GDB QUICK REFERENCE (TeX dvi file, CM fonts) -- 2.30.2