[PATCH][BZ #15941] Fix generation of INSTALL file with makeinfo 5.x

[Siddhesh Poyarekar]

On Thu, Dec 05, 2013 at 01:08:29PM +1000, Allan McRae wrote:
> I can tell from the diff below that you regenerated INSTALL using
> texinfo-5.x.  While it is good to have texinfo-5.x compatibility, it
> should still be generated using texinfo-4.x for the time being.

Right, that makes sense; I'll skip the INSTALL regeneration.  We ought
to set a point at which we want to regenerate INSTALL using
texinfo-5.x, like maybe when 2.20 or 2.21 development open up.

Siddhesh