On Mon, 24 Jun 2013, Siddhesh Poyarekar wrote: > 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? You should commit such regenerations as obvious. -- Joseph S. Myers joseph@codesourcery.com