Re: GNU make 3.81beta4 released

[Eli Zaretskii]

> From: "Markus Mauhart" <address@hidden>
> Date: Sun, 15 Jan 2006 00:59:43 +0100
> 
> ok, but if readme.w32 doesnt follow my suggestion ...
> 
>   1) execute
>        if not exist config.h copy config.h.W32 config.h
>   2) edit config.h
> 
> ... then all w32 - build procedures and readme.w32 must be consistent
> w.r.t. whether changes in config.h or in config.h.W32 will be used by
> each build procedure:
> If readme.w32 says "edit config.h.W32", then each build procedure must
> unconditionally copy config.h.W32 over config.h.
> If readme.w32 says "edit config.h", then each build procedure must
> execute "if not exist config.h copy config.h.W32 config.h".

It should be clear that I vote for editing config.h.W32, since
config.h is a created file.  It's like on Unix.