* Makefile.in (distclean): Remove config.log.
authorDaniel Jacobowitz <drow@false.org>
Mon, 3 Mar 2003 03:59:16 +0000 (03:59 +0000)
committerDaniel Jacobowitz <drow@false.org>
Mon, 3 Mar 2003 03:59:16 +0000 (03:59 +0000)
commitd7f4a264240f9aca68dfff6764f64219eeec9094
tree25d3c7d6526a4bdbe50d5428db91c8a569a01583
parent15c9f67344da812f6b36933c2aeae9d82e7431ff
* Makefile.in (distclean): Remove config.log.
gdb/doc/ChangeLog
gdb/doc/Makefile.in