Re: .gitignore patch for coverage builds

Tom Lane <tgl@sss.pgh.pa.us> wrote:
 
> I'm still unexcited about the thesis that we should auto-ignore
> the results of any random tool somebody wants to run in their
> source tree.
 
Hos about just the tools supported by our documentation, configure
file and make file?
 
-Kevin