makeinfo version for regenerating INSTALL

[Joseph Myers]

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.

-- 
Joseph S. Myers
joseph@codesourcery.com