diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-13 19:54:31 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-13 19:54:31 +0000 |
| commit | b397d5b8e158cee0f549e496a6ce0acc707a6f8e (patch) | |
| tree | dcace857801fd8ad6f763a6fdf0516f4163fafcc /gdb/doc/Makefile.in | |
| parent | dbbf95081cea3ed965108d5ff7ed1c77743d2365 (diff) | |
| download | gdb-b397d5b8e158cee0f549e496a6ce0acc707a6f8e.zip gdb-b397d5b8e158cee0f549e496a6ce0acc707a6f8e.tar.gz gdb-b397d5b8e158cee0f549e496a6ce0acc707a6f8e.tar.bz2 | |
* Makefile.in (realclean): Remove info and dvi files too.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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) |