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)