makeinfo version for regenerating INSTALL

[Carlos O'Donell]

On 01/21/2015 09:08 AM, Joseph Myers wrote:
> On Wed, 21 Jan 2015, carlos@sourceware.org wrote:
> 
>> commit a8db092ec0c6742a9d41e1715946e90d4edfeec1
>> Author: Carlos O'Donell <carlos@systemhalted.org>
>> Date:   Tue Jan 20 22:25:38 2015 -0500
>>
>>     Regenerate INSTALL.
> 
> Is this a deliberate move to generating it with makeinfo 5 (which I 
> approve of; makeinfo 5 is probably more widespread by now than 4.13)?  If 
> so, the statement at <https://sourceware.org/glibc/wiki/Regeneration> 
> about what version to use needs updating.
> 

It is.

I like the output better than makeinfo 4.x.

I don't see anyone objecting to using texinfo 5 so I've updated Regeneration.

I didn't give it much thought since it met the > texinfo 4.7 requirement
to build the library. Though I did notice it produces significantly nicer
looking text.

I guess though that we don't want the text format to oscillate between
looking nice and not looking nice.

I have left the INSTALL requirements at "GNU 'texinfo' 4.7 or later"
though since that's the lower limit.

Cheers,
Carlos.