diff options
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 0f6af20..1b22281 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 0f4c78a..2b4ef60 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) |