Re: New build process?

[Eli Zaretskii]

> Date: Wed, 27 Jul 2011 13:27:31 -0700
> From: Paul Eggert <address@hidden>
> CC: Tim Cross <address@hidden>, address@hidden, 
>  address@hidden, address@hidden, address@hidden
> 
> To help move in that direction, I installed the following patch.
> It assumes GNU Make, but that's a reasonable assumption these
> days for developers.  Developers who insist on using non-GNU "make"
> can use "./autogen.sh; ./configure; make" as before.
> 
> If there are any problems with this, please feel free to back it out
> or improve it.

It works, at least for me, thanks.  It also indirectly solves
bug#9106, so it can be closed now.

(There will be a need for a minor change in the DOS config.bat script,
to avoid running GNUMakefile on DOS, but that's trivial.)