Re: git head fails to build

[Neil Jerram]

2009/1/15 Ludovic Courtès <address@hidden>:
> "Neil Jerram" <address@hidden> writes:
>
>> 2009/1/15 Greg Troxel <address@hidden>:
>
>>>  INSTALL is checked in, but gets overwritten by autoreconf.  It seems
>>>  like since this is a generated file it should not be checked in.
>>
>> Yes, that might be sensible.  Ludovic, what do you think?
>
> Either way is fine by me.

I've removed it from master and branch_release-1-8.  It was frequently
generating spurious diffs for me, so I think worth addressing that.

     Neil