On Wed, 6 Mar 2024 at 17:07, Bruno Haible <br...@clisp.org> wrote: > Reuben Thomas wrote: > > > Such info could be added to the Gnulib manual. > > > > I doubt that would help many users (why should they read the gnulib > manual > > just to build software?) > > OK. In the name of having gnulib-tool run out-of-the-box for such users, > I'm applying this change: >
Many thanks for this! -- https://rrt.sc3d.org