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

> From: Gavin Smith <[email protected]>
> Date: Tue, 20 Jan 2026 18:47:01 +0000
> Cc: [email protected], [email protected]
> 
> 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.

OK, will send in a couple of days.

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

Is using the HOST_IS_WINDOWS thingy for this okay?