[notmuch] [PATCH 1/3] remove Makefile.config from source to allow for custom config.

[Carl Worth]

On Sun, 22 Nov 2009 16:58:34 -0500, Jameson Graef Rollins <jrollins at finestructure.net> wrote:
> Modified ./configure script to generate a Makefile.config if it
> doesn't exist.  This will allow people to maintain custom
> Makefile.config files without causing conflicts with the repository.

It's definitely a good idea to get the generated Makefile.config out of
the repository so that users can maintain their own versions without
conflicts.

In order to do this, we'll need to fix the Makefile to have a rule to
generate Makefile.config if it doesn't exist by running configure, (and
it could also give a message letting the user know that it's running
configure without arguments, and the user can run it explicitly with
arguments if desired[*]).

-Carl

[*] Of course, that's not *really* necessary until our configure script
actually *does* accept arguments, but we really should add at least
--prefix right away.