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.
