On Mon, 2013-07-01 at 20:16 -0300, Fabrízio de Royes Mello wrote:
> Hi all,
>
> When we run...
>
> ./configure --enable-converage
> make coverage-html
>
> ...the output is generated into /coverage/ directory. The attached patch
> add /converage/ to .gitignore.
I have committed this. It should be coverage/, however, because it can
also exist in subdirectories.