PATCH: gcc/Makefile.in and target 'distclean'

[Gerald Pfeifer]

On 13 Feb 2001, Alexandre Oliva wrote:
>> I think the file in the distribution should be called something other than
>> .gdbinit.
> Sounds good to me.  gdbinit.in?

That's what I used in the patch I have in my local tree ;-).

(Need some further polishing and testing, though. If someone beats me to
it, I won't be upset...)

Gerald
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/