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

> 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.