* Makefile.in (realclean): Remove info and dvi files too.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 0f6af20..1b22281 100644 (file)
--- 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 0f4c78a..2b4ef60 100644 (file)
--- 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)