[m-rev.] for review: do not install batch files on non-Windows systems

[Peter Wang]

On Thu, 11 Jan 2024 14:51:55 +1100 Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> --------------------
> 
> Do not install batch files on non-Windows systems.
> 
> configure.ac:
> Mmake.common.in:
>     Add a configuration parameter that says if the batch files in
>     the scripts directory should be installed or not.
> 
> scripts/Mmakefile:
>     Make the set of scripts to be installed dependent on the value of
>     the new configuration parameter.
> 
> Julien.
> 

That looks fine.

Peter