On 2023-06-23 08:42, Bruno Haible wrote:
Find here a proposed patch.
Thanks, I installed that into Autoconf. The result was a bit long for
INSTALL (partly because of the new sections, which were a pain for the
Autoconf manual proper) so I pruned and otherwise improved it, mostly by
rewording
Paul Eggert wrote:
> > There are more and more random users, who are not experts and who try the
> > git checkout of a GNU package, rather than the newest release. And then
> > wonder, for example, why the INSTALL file suggests to run './configure'
> > although no 'configure' file is present. [1]
>
