Re: Texinfo 7.2.90 build with mingw.org's MinGW: testing [info]

On Tue, Jan 20, 2026 at 07:12:12PM +0200, Eli Zaretskii wrote:
> > Date: Fri, 16 Jan 2026 18:03:04 +0200
> > From: Eli Zaretskii <[email protected]>
> > Cc: [email protected], [email protected]
> > 
> > I will see about writing a Windows batch file that works like
> > info/info-hooks-default/manual-not-found, so that "make install"
> > could install it.
> 
> I wrote such a batch file, it is an almost exact equivalent of the
> manual-not-found shell script.
> 
> On significant change I needed to make is to place the small Awk
> program used by the script on a separate file.  That's because command
> lines on Windows cannot include embedded newlines.  If that is okay, I
> can send a patch to add the batch file and the necessary glue to
> Makefile.am.

Yes, that sounds fine.

Could you put installing the batch file and Awk program in a condition
so it is only installed on Windows?