Re: texinfo-7.2.90 on mingw

On Sun, Jan 11, 2026 at 11:36:19PM +0100, Patrice Dumas wrote:
> On Sun, Jan 11, 2026 at 01:36:11PM +0100, Bruno Haible via Bug reports for the GNU Texinfo documentation system wrote:
> > On mingw, there is a compilation error:
> > 
> > $ make
> > ...
> >  #include <glob.h>
> >                   ^
> > compilation terminated.
> > make[4]: *** [Makefile:3691: convert/libtexinfo_convert_la-html_prepare_converter.lo] Fehler 1
> > 
> > 
> > For comparison, version 7.1.90 did compile on mingw (but had test failures) [1].
> > 
> > Maybe all you need is to request the Gnulib module 'glob' [2] ?
> 
> Using the Gnulib 'glob' module would be ok for me.  Gavin, any objection?


No objection.