* Makefile.in (realclean): Remove info and dvi files too.
authorJim Kingdon <jkingdon@engr.sgi.com>
Sun, 13 Jun 1993 19:54:31 +0000 (19:54 +0000)
committerJim Kingdon <jkingdon@engr.sgi.com>
Sun, 13 Jun 1993 19:54:31 +0000 (19:54 +0000)
commitb397d5b8e158cee0f549e496a6ce0acc707a6f8e
treedcace857801fd8ad6f763a6fdf0516f4163fafcc
parentdbbf95081cea3ed965108d5ff7ed1c77743d2365
* Makefile.in (realclean): Remove info and dvi files too.
gdb/doc/ChangeLog
gdb/doc/Makefile.in