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