[PATCH] Regenerate INSTALL file

[Carlos O'Donell]

On 06/24/2013 08:50 AM, Siddhesh Poyarekar wrote:
> Hi,
> 
> I ran into this while building for Fedora; INSTALL was not regenerated
> during the last change to install.texi.  Can this be committed now or
> is this done during the release process?

It's done as part of the release process, but as Joseph notes it's obvious.
The more updates we have the less work David will have to do as part
of the release.

Cheers,
Carlos.