[PATCH] INSTALL: Regenerate with texinfo 7.2

[Collin Funk]

Mark Wielaard <mark@klomp.org> writes:

> Thanks for testing.
> Shall I add Tested-By: Collin Funk <collin.funk1@gmail.com> ?

Yes, that works. I was going to add a Reviewed-by signature to my
original email, but didn't want you to push without us making sure
Texinfo 7.2 is old enough to depend on. :)

>> I assume this change will make 'make dist' fail on those with Texinfo
>> 7.1 and earlier? In that case is 7.2 new enough to require [1]?
>
> Yes, I think so. This is only for creating release or snapshot
> dists. For everything else Texinfo 4.7 or later is fine (See INSTALL,
> don't you love recursion). For the last release Texinfo 7.2 was
> already tested, but not yet used to create glibc 2.41. Now the
> snapshot container runs Fedora 42 and Gentoo, as used by the release
> maintainer, stabalized 7.2 last month.
>
> But lets CC Andreas to see if he has any objections.

Good to know! My worry was that a snapshot machine might use Debian
Stable or something else that has Texinfo 7.1. In that case 'make dist'
failing would be annoying.

Lets still wait for Andreas to check though.

Collin