* Makefile.in (realclean): Remove info and dvi files too.
This commit is contained in:
parent
dbbf95081c
commit
b397d5b8e1
|
@ -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.
|
||||
|
|
|
@ -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)
|
||||
|
|
Loading…
Reference in New Issue