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

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 0f6af20fec7b31b7647dc4eef1c025f4d72da1d0..1b222817d5db1d5e97ebbe3c76e657d1836744a9 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 0f4c78a5c3a621fecd931975e35dbdd6145ca15f..2b4ef609b517a4de5cdacb1e1bc7cb46a159f7e1 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)