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

[Siddhesh Poyarekar]

On Wed, Dec 04, 2013 at 03:26:39PM +0100, Ondřej Bílka wrote:
> Could it be possible to add test that install was regenerated? I could
> imagine this bug return in future when somebody adds wrong link.

The build fails in that case.

Siddhesh